Kripke modelling and verification of temporal specifications of a multiple UAV system.
Gopinadh SirigineediAntonios TsourdosBrian A. WhiteRafal ZbikowskiPublished in: Ann. Math. Artif. Intell. (2011)
Keyphrases
- model checking
- automated verification
- formal verification
- concurrent systems
- spatial and temporal
- verification method
- desirable properties
- temporal logic
- model checker
- temporal data
- formal specification
- inference rules
- aerial vehicles
- bounded model checking
- temporal evolution
- neural network
- control algorithm
- temporal information
- dynamic environments
- case study
- artificial intelligence