VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles.
Johan ArcileRaymond R. DevillersHanna KlaudelPublished in: AAMAS (2020)
Keyphrases
- model checking
- temporal logic
- autonomous vehicles
- model checker
- verification method
- finite state
- symbolic model checking
- obstacle avoidance
- computation tree logic
- transition systems
- temporal properties
- formal specification
- formal verification
- formal methods
- software architecture
- web services
- abstract interpretation
- real time