Temporal logic of actions

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

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

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

Krystian Jobczyk, Antoni Ligęza, Krzysztof Kluza

引用数: 7 • 2016

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Yuchen Zhou, Dipankar Maity, John S. Baras

引用数: 6 • 2016

Planning and scheduling using temporal logic

Mingfa Zhu

引用数: 4 • 1985

Conformal Temporal Logic Planning using Large Language Models

Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros

引用数: 3 • 2025

Robotics, Temporal Logic and Stream Reasoning

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström

引用数: 3 • 2018

Formal Specification of a Team Formation Protocol

Rajdeep Niyogi

引用数: 3 • 2022

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Specifications

Shaojun Xu, Xusheng Luo, Yutong Huang, Letian Leng, Changliu Liu

引用数: 1 • 2025