Context-Aware Temporal Logic for Probabilistic Systems.
Mahmoud ElfarYu WangMiroslav PajicPublished in: ATVA (2020)
Keyphrases
- context aware
- temporal logic
- contextual information
- mobile devices
- ubiquitous computing
- context aware systems
- model checking
- context awareness
- reactive systems
- ambient intelligence
- smart spaces
- dynamic constraints
- current context
- ubiquitous learning
- smart environments
- mobile computing
- verification method
- mazurkiewicz traces
- smart home
- computer systems
- distributed systems
- expert systems
- web services
- mobile users
- mobile applications
- uncertain data
- modal logic
- context aware services
- intelligent systems
- concurrent systems
- transition systems
- bounded model checking