Interval temporal logic

Temporal Logic Motion Planning for Mobile Robots

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

引用数: 233 • 2006

Reinforcement learning with temporal logic rewards

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

引用数: 160 • 2017

Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras

引用数: 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

引用数: 29 • 2019

Robust Temporal Logic Motion Control via Disturbance Observers

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

引用数: 18 • 2022

Distribution temporal logic: Combining correctness with quality of estimation

Austin Jones, Mac Schwager, Călin Belta

引用数: 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

引用数: 14 • 2012

Representing a robotic domain using temporal description logics

Alessandro Artale, Enrico Franconi

引用数: 12 • 1999

Automatic Trajectory Synthesis for Real-Time Temporal Logic

Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin

引用数: 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

引用数: 9 • 2011

Learning Temporal Task Models from Human Bimanual Demonstrations

Christian Dreher, Tamim Asfour

引用数: 7 • 2022

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

Krystian Jobczyk, Antoni Ligęza, Krzysztof Kluza

引用数: 7 • 2016

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

Ullrich Hustadt, Ana Ozaki, Clare Dixon

引用数: 6 • 2020

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Yuchen Zhou, Dipankar Maity, John S. Baras

引用数: 6 • 2016

Evidential temporal representations and reasoning

Bingning Dai, David Bell, John G. Hughes

引用数: 5 • 1996

On Process Recognition by Logical Inference.

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

引用数: 4 • 2011

Planning and scheduling using temporal logic

Mingfa Zhu

引用数: 4 • 1985

Automated deduction in a graphical temporal logic

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

引用数: 3 • 1996

Formal Specification of a Team Formation Protocol

Rajdeep Niyogi

引用数: 3 • 2022

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

引用数: 3 • 2021