Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.
Michael RathmairChristoph LuckenederHermann KaindlPublished in: APSEC (2016)
Keyphrases
- model checking
- qualitative models
- cyber physical
- temporal logic
- dynamic systems
- model based diagnosis
- social networks
- model checker
- qualitative reasoning
- computation tree logic
- verification method
- formal verification
- physical world
- qualitative and quantitative
- formal methods
- multi agent
- information sharing
- cooperative
- real time
- alternating time temporal logic
- cyber physical systems
- model construction
- object oriented