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

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Citations: 290 • 2009

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

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

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

Citations: 179 • 2014

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

Marius Kloetzer, Călin Belta

Citations: 179 • 2009

Sampling-based motion planning with deterministic μ-calculus specifications

Sertaç Karaman, Emilio Frazzoli

Citations: 176 • 2009

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

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

Citations: 140 • 2016

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

Citations: 131 • 2011

Correct, Reactive, High-Level Robot Control

Hadas Kress‐Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu

Citations: 122 • 2011