Formal Verification of Platoon Control Strategies.
Adnan RashidUmair SiddiqueOsman HasanPublished in: SEFM (2018)
Keyphrases
- control strategies
- formal verification
- model checking
- control strategy
- control system
- traffic management
- model checker
- symbolic model checking
- transportation systems
- reinforcement learning
- control algorithm
- automated verification
- robot arm
- bounded model checking
- genetic algorithm
- program slicing
- control policies
- mathematical models
- temporal logic
- machine learning