Formal Verification of Platoon Control Strategies.
Adnan RashidUmair SiddiqueOsman HasanPublished in: CoRR (2018)
Keyphrases
- formal verification
- control strategies
- model checking
- control strategy
- control system
- traffic management
- control algorithm
- transportation systems
- model checker
- symbolic model checking
- reinforcement learning
- automated verification
- bounded model checking
- robot arm
- genetic algorithm
- control policies
- temporal logic
- traffic flow
- program slicing
- real time
- behavioural cloning
- mathematical models
- neural network
- traffic flows
- control scheme
- software engineering
- knowledge representation