Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.
Ashalatha KunnappillyRaluca MarinescuCristina SeceleanuPublished in: ISoLA (2) (2018)
Keyphrases
- model checking
- ambient assisted living
- temporal logic
- ambient intelligence
- formal verification
- temporal properties
- automated verification
- symbolic model checking
- model checker
- verification method
- independent living
- formal specification
- bounded model checking
- formal methods
- epistemic logic
- intelligent systems
- timed automata
- linear temporal logic
- transition systems
- computation tree logic
- concurrent systems
- artificial intelligence
- pervasive computing
- context aware
- deterministic finite automaton
- alternating time temporal logic
- smart home
- ubiquitous computing
- service oriented
- modal logic
- human activities
- software systems
- state space