Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.
Sergey M. StaroletovNikolay V. ShilovPublished in: SPIN (2019)
Keyphrases
- model checking
- hybrid model
- collision avoidance
- temporal logic
- path planning
- formal verification
- automated verification
- model checker
- verification method
- formal specification
- artificial neural networks
- floating point
- mobile robot
- support vector regression
- floating point arithmetic
- bounded model checking
- dynamic environments
- formal methods
- computation tree logic
- concurrent systems
- support vector machine svm
- symbolic model checking
- asynchronous circuits
- artificial intelligence
- fuzzy neural network
- planning domains
- description language
- path finding
- closed loop
- distributed systems