Computation tree logic

Temporal Logic Motion Planning for Mobile Robots

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

Citations: 233 • 2006

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

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

Citations: 148 • 2011

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

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas

Citations: 104 • 2013

Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic

James McMahon, Erion Plaku

Citations: 42 • 2014

Formal verification of Intelligent Mechatronic Systems with decentralized control logic

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri

Citations: 39 • 2012

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic

Oliver Biggar, Mohammad Zamani

Citations: 35 • 2020

Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences

Jesper Karlsson, Fernando S. Barbosa, Jana Tůmová

Citations: 31 • 2020

State/Event Software Verification for Branching-Time Specifications

Sagar Chaki, Edmund M. Clarke, Orna Grümberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith

Citations: 25 • 2005

Control of Markov decision processes from PCTL specifications

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

Citations: 24 • 2011

Distributed implementations of global temporal logic motion specifications

Marius Kloetzer, Călin Belta

Citations: 21 • 2008

MT*: Multi-Robot Path Planning for Temporal Logic Specifications

Dhaval Gujarathi, Indranil Saha

Citations: 19 • 2022

Robust Temporal Logic Motion Control via Disturbance Observers

Chengqian Zhou, Jun Yang, Shihua Li, Wen‐Hua Chen

Citations: 18 • 2022

Optimal Strategy Model Checking in Possibilistic Decision Processes

Wuniu Liu, Yongming Li

Citations: 15 • 2023

Optimal motion planning with temporal logic and switching constraints

Vladislav Nenchev, Călin Belta, Jörg Raisch

Citations: 14 • 2015

Real-Time RRT^* with Signal Temporal Logic Preferences

Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tůmová

Citations: 11 • 2023

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson

Citations: 9 • 2020

Sampling-based approximate optimal temporal logic planning

Lening Li, Jie Fu

Citations: 8 • 2017

Online control synthesis for uncertain systems under signal temporal logic specifications

Pian Yu, Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Dimos V. Dimarogonas

Citations: 7 • 2023

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

Krystian Jobczyk, Antoni Ligęza, Krzysztof Kluza

Citations: 7 • 2016

Verification of logical consistency in robotic reasoning

Hongyang Qu, Sándor M. Veres

Citations: 7 • 2016