Login / Signup
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.
Hermann Kaindl
Ralph Hoch
Michael Rathmair
Christoph Luckeneder
Published in:
ENASE (Selected Papers) (2018)
Keyphrases
</>
formal verification
qualitative models
cyber physical
model checking
dynamic systems
social networks
qualitative reasoning
multi agent systems
multi agent
physical world
qualitative and quantitative
model construction
cyber physical systems
knowledge based systems
model based diagnosis