共 50 条
- [2] Routing - A challenge to formal methods [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 305 - 311
- [3] Formal Methods for Robotics: RoboChart, RoboSim, and More [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 3 - 6
- [4] Robotics and Integrated Formal Methods: Necessity Meets Opportunity [J]. INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 161 - 171
- [5] Automation of Humanitarian Demining The 2016 Humanitarian Robotics and Automation Technology Challenge [J]. 2016 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION FOR HUMANITARIAN APPLICATIONS (RAHA), 2016, : 193 - 199
- [6] A grand challenge proposal for formal methods: A verified stack [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 161 - 172