Linear temporal logic

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 755 • 2009

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas

Citations: 460 • 2008

Control Barrier Functions for Signal Temporal Logic Tasks

Lars Lindemann, Dimos V. Dimarogonas

Citations: 307 • 2018

Temporal Logic Motion Planning for Mobile Robots

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas

Citations: 233 • 2006

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 222 • 2007

Optimal path planning for surveillance with temporal-logic constraints

Stephen L. Smith, Jana Tůmová, Călin Belta, Daniela Rus

Citations: 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

Citations: 194 • 2013

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

Marius Kloetzer, Călin Belta

Citations: 179 • 2009

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

Xuchu Ding, Stephen L. Smith, Călin Belta, Daniela Rus

Citations: 179 • 2014

Hybrid Controllers for Path Planning: A Temporal Logic Approach

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas

Citations: 172 • 2006

LTLMoP: Experimenting with language, Temporal Logic and robot control

Ciara Finucane, Gangyuan Jing, Hadas Kress‐Gazit

Citations: 171 • 2010

Reinforcement learning with temporal logic rewards

Xiao Li, Cristian-Ioan Vasile, Călin Belta

Citations: 160 • 2017

Translating Structured English to Robot Controllers

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 150 • 2008

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

Morteza Lahijanian, Sean B. Andersson, Călin Belta

Citations: 148 • 2011

Formal Approach to the Deployment of Distributed Robotic Teams

Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta

Citations: 140 • 2011

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

Marius Kloetzer, Călin Belta

Citations: 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

Citations: 127 • 2014

STyLuS ^* : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

Yiannis Kantaros, Michael M. Zavlanos

Citations: 115 • 2020

Multi-robot planning : a timed automata approach

Michael Melholt Quottrup, Thomas Bak

Citations: 105 • 2004

Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas

Citations: 104 • 2013