共 50 条
- [41] Provably-Correct Robot Control with LTLMoP, OMPL and ROS 2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 2073 - 2073
- [44] Provably-Correct Fault Tolerant Control with Delayed Information 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
- [45] A provably correct embedded verifier for the certification of safety critical software COMPUTER AIDED VERIFICATION, 1997, 1254 : 202 - 213
- [46] A provably correct compiler for efficient model checking of mobile processes PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 113 - 127
- [47] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Theory of Computing Systems, 2008, 43 : 298 - 321
- [48] Provably correct runtime enforcement of non-interference properties INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2006, 4307 : 332 - +
- [49] Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments 2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 1168 - 1173