Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder.
A. E. LindseyCharles PecheurPublished in: TACAS (2004)
Keyphrases
- face verification
- cooperative
- model based reasoning
- control system
- broad coverage
- model checking
- formal verification
- model based diagnosis
- formal methods
- formal analysis
- autonomous learning
- signature verification
- autonomous navigation
- control strategy
- expert systems
- case study
- land vehicle
- asynchronous circuits
- case based reasoning
- reinforcement learning