Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications.
Cinzia BernardeschiAndrea DomeniciAdriano FagioliniMaurizio PalmieriPublished in: Comput. J. (2023)
Keyphrases
- formal verification
- bounded model checking
- model checking
- automated verification
- cooperative
- model checker
- simulation model
- symbolic model checking
- control system
- matlab simulink
- program slicing
- functional verification
- formal specification
- control strategy
- mathematical model
- knowledge representation
- discrete event
- description language
- linear temporal logic
- high level