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
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
引用数: 290 • 2009
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
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Xuchu Ding, Stephen L. Smith, Călin Belta, Daniela Rus
引用数: 179 • 2014
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
Marius Kloetzer, Călin Belta
引用数: 179 • 2009
Sampling-based motion planning with deterministic μ-calculus specifications
Sertaç Karaman, Emilio Frazzoli
引用数: 176 • 2009
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
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Dorsa Sadigh, Ashish Kapoor
引用数: 140 • 2016
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
引用数: 131 • 2011
Correct, Reactive, High-Level Robot Control
Hadas Kress‐Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
引用数: 122 • 2011