Formal Methods to Verify and Ensure Self-coordination Abilities in the Internet of Vehicles.
Vahid YazdanpanahEnrico H. GerdingSebastian SteinPublished in: ICCL (2021)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- model checking
- model checker
- formal specification
- artificial intelligence
- process algebra
- safety critical
- multiagent systems
- software engineering
- multi agent
- reactive systems
- travel time
- multi agent systems
- cooperative
- traffic light
- provably correct
- information security
- knowledge base
- databases