相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
David Gundana et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2021)
Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic
Usman A. Fiaz et al.
IFAC PAPERSONLINE (2020)
How Should a Robot Assess Risk? Towards an Axiomatic Theory of Risk in Robotics
Anirudha Majumdar et al.
ROBOTICS RESEARCH (2020)
Continuous-time Signal Temporal Logic Planning with Control Barrier Functions
Guang Yang et al.
2020 AMERICAN CONTROL CONFERENCE (ACC) (2020)
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications
Lars Lindemann et al.
2020 AMERICAN CONTROL CONFERENCE (ACC) (2020)
Control Design for Risk-Based Signal Temporal Logic Specifications
Sleiman Safaoui et al.
IEEE CONTROL SYSTEMS LETTERS (2020)
Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Tempora Tasks
Yiannis Kantaros et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
From Real-time Logic to Timed Automata
Thomas Ferrere et al.
JOURNAL OF THE ACM (2019)
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
Samira S. Farahani et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps
Yiannis Kantaros et al.
2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) (2019)
Control Barrier Functions for Signal Temporal Logic Tasks
Lars Lindemann et al.
IEEE CONTROL SYSTEMS LETTERS (2019)
Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
Meng Guo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2018)
Timed abstractions for distributed cooperative manipulation
Christos K. Verginis et al.
AUTONOMOUS ROBOTS (2018)
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
Morteza Lahijanian et al.
IEEE TRANSACTIONS ON ROBOTICS (2016)
Temporal-Logic-Based Reactive Mission and Motion Planning
Hadas Kress-Gazit et al.
IEEE TRANSACTIONS ON ROBOTICS (2009)
Robustness of temporal logic specifications for continuous-time signals
Georgios E. Fainekos et al.
THEORETICAL COMPUTER SCIENCE (2009)
A fully automated framework for control of linear systems from temporal, logic specifications
Marius Kloetzer et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)