Interval temporal logic

Temporal Logic Motion Planning for Mobile Robots

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

Citations: 233 • 2006

Reinforcement learning with temporal logic rewards

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

Citations: 160 • 2017

Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras

Citations: 37 • 2016

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tůmová, Dimos V. Dimarogonas

Citations: 29 • 2019

Robust Temporal Logic Motion Control via Disturbance Observers

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

Citations: 18 • 2022

Distribution temporal logic: Combining correctness with quality of estimation

Austin Jones, Mac Schwager, Călin Belta

Citations: 16 • 2013

A framework for multi-robot motion planning from temporal logic specifications

T. John Koo, Rongqing Li, Michael Melholt Quottrup, Charles A. Clifton, Roozbeh Izadi‐Zamanabadi, Thomas Bak

Citations: 14 • 2012

Representing a robotic domain using temporal description logics

Alessandro Artale, Enrico Franconi

Citations: 12 • 1999

Automatic Trajectory Synthesis for Real-Time Temporal Logic

Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin

Citations: 10 • 2021

Assembly-disassembly flexible lines and collaborative robots considered as hierarchical systems in temporal recurrent modelling

Eugénia Minca, Otilia Elena Dragomir, Florin Dragomir, Monica-Adela Enache, A. Radaschin

Citations: 9 • 2011

Learning Temporal Task Models from Human Bimanual Demonstrations

Christian Dreher, Tamim Asfour

Citations: 7 • 2022

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

Krystian Jobczyk, Antoni Ligęza, Krzysztof Kluza

Citations: 7 • 2016

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

Ullrich Hustadt, Ana Ozaki, Clare Dixon

Citations: 6 • 2020

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Yuchen Zhou, Dipankar Maity, John S. Baras

Citations: 6 • 2016

Evidential temporal representations and reasoning

Bingning Dai, David Bell, John G. Hughes

Citations: 5 • 1996

On Process Recognition by Logical Inference.

Arne Kreutzmann, Immo Colonius, Lutz Frommberger, Frank Dylla, Christian Freksa, Diedrich Wolter

Citations: 4 • 2011

Planning and scheduling using temporal logic

Mingfa Zhu

Citations: 4 • 1985

Automated deduction in a graphical temporal logic

L.E. Moser, P. M. Melliar‐Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon

Citations: 3 • 1996

Formal Specification of a Team Formation Protocol

Rajdeep Niyogi

Citations: 3 • 2022

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

Citations: 3 • 2021