共 25 条
[2]
[Anonymous], 2010, EMSOFT
[3]
[Anonymous], 2017, FSR
[4]
Bohrer B, 2018, ACM SIGPLAN NOTICES, V53, P617, DOI [10.1145/3192366.3192406, 10.1145/3296979.3192406]
[5]
A Benchmark Suite for Hybrid Systems Reachability Analysis
[J].
NASA FORMAL METHODS (NFM 2015),
2015, 9058
:408-414
[6]
Combining Model Checking and Runtime Verification for Safe Robotics
[J].
RUNTIME VERIFICATION (RV 2017),
2017, 10548
:172-189
[8]
Filippidis Ioannis, 2016, 2016 IEEE Conference on Control Applications (CCA), P1030, DOI 10.1109/CCA.2016.7587949
[9]
LTLMoP: Experimenting with Language, Temporal Logic and Robot Control
[J].
IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010),
2010,
:1988-1993