Linear temporal logic
相关论文数: 20
顶级研究者
最高引用论文
Temporal-Logic-Based Reactive Mission and Motion Planning
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 755 • 2009
Temporal logic motion planning for dynamic robots
Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas
引用数: 460 • 2008
Control Barrier Functions for Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
引用数: 307 • 2018
Temporal Logic Motion Planning for Mobile Robots
Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas
引用数: 233 • 2006
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 222 • 2007
Optimal path planning for surveillance with temporal-logic constraints
Stephen L. Smith, Jana Tůmová, Călin Belta, Daniela Rus
引用数: 202 • 2011
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus
引用数: 194 • 2013
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
Marius Kloetzer, Călin Belta
引用数: 179 • 2009
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Xuchu Ding, Stephen L. Smith, Călin Belta, Daniela Rus
引用数: 179 • 2014
Hybrid Controllers for Path Planning: A Temporal Logic Approach
Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas
引用数: 172 • 2006
LTLMoP: Experimenting with language, Temporal Logic and robot control
Ciara Finucane, Gangyuan Jing, Hadas Kress‐Gazit
引用数: 171 • 2010
Reinforcement learning with temporal logic rewards
Xiao Li, Cristian-Ioan Vasile, Călin Belta
引用数: 160 • 2017
Translating Structured English to Robot Controllers
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 150 • 2008
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
Morteza Lahijanian, Sean B. Andersson, Călin Belta
引用数: 148 • 2011
Formal Approach to the Deployment of Distributed Robotic Teams
Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta
引用数: 140 • 2011
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions
Marius Kloetzer, Călin Belta
引用数: 131 • 2007
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
引用数: 127 • 2014
STyLuS <sup>*</sup> : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
Yiannis Kantaros, Michael M. Zavlanos
引用数: 115 • 2020
Multi-robot planning : a timed automata approach
Michael Melholt Quottrup, Thomas Bak
引用数: 105 • 2004
Revising motion planning under Linear Temporal Logic specifications in partially known workspaces
Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas
引用数: 104 • 2013