Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination
No abstract available.
Related papers
- automemcpy: a framework for automatic generation of fundamental memory operations ISMM 2021
- A Formal Disproof of Hirsch Conjecture CPP 2023
- Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development TACAS 2024
- Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture CPP 2024
- Automatic Code and Test Generation of Smart Contracts from Coordination Models ECOOP 2026
- Rethinking Thread Scheduling under Oversubscription: A User-Space Framework for Coordinating Multi-runtime and Multi-process Workloads PPoPP 2026
- Multiparty motion coordination: from choreographies to robotics programs OOPSLA 2020
- Automated Analyses of IOT Event Monitoring Systems CAV 2023