共 30 条
- [11] Kleinbort M., 2019, IEEE Robot. Autom. Lett., V4, pi
- [12] Synthesis for Robots: Guarantees and Feedback for Robot Behavior [J]. ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 1, 2018, 1 : 211 - 236
- [13] Temporal-Logic-Based Reactive Mission and Motion Planning [J]. IEEE TRANSACTIONS ON ROBOTICS, 2009, 25 (06) : 1370 - 1381
- [14] Model checking of safety properties [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (03) : 291 - 314
- [15] Lahijanian M, 2014, IEEE INT CONF ROBOT, P3005, DOI 10.1109/ICRA.2014.6907292
- [16] Randomized kinodynamic planning [J]. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2001, 20 (05) : 378 - 400
- [17] Sufficient Conditions for Optimality in Finite-Horizon Two-Player Zero-Sum Hybrid Games [J]. 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 3268 - 3273
- [18] Luders B., 2010, PROC AIAA GUID NAVIG
- [20] Monitoring temporal properties of continuous signals [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 152 - 166