Formal verification of energy and timed requirements for a cooperative automotive system.
Eun-Young KangLi HuangDongrui MuPublished in: SAC (2018)
Keyphrases
- formal verification
- cooperative
- model checking
- timed automata
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- energy consumption
- energy minimization
- program slicing
- automotive industry
- petri net
- multi agent
- multi agent systems
- temporal logic
- game theory
- graph cuts
- artificial intelligence