Context-Aware Temporal Logic for Probabilistic Systems.
Mahmoud ElfarYu WangMiroslav PajicPublished in: CoRR (2020)
Keyphrases
- context aware
- temporal logic
- contextual information
- model checking
- context aware systems
- context awareness
- ubiquitous computing
- smart spaces
- ambient intelligence
- mobile devices
- dynamic constraints
- reactive systems
- ubiquitous learning
- mobile computing
- smart home
- ubiquitous computing environments
- concurrent systems
- context aware computing
- expert systems
- smart environments
- mobile users
- intelligent systems
- distributed systems
- current context
- computer systems
- bounded model checking
- artificial intelligence
- computation tree logic
- formal specification language