METIS: Resource and Context-Aware Monitoring of Finite State Properties.
Garvita AllabadiAritra DharAmbreen BashirRahul PurandarePublished in: RV (2018)
Keyphrases
- context aware
- finite state
- contextual information
- markov chain
- context awareness
- ubiquitous computing
- markov decision processes
- mobile devices
- ambient intelligence
- model checking
- context aware systems
- mobile users
- mobile computing
- current context
- ubiquitous learning
- smart environments
- optimal policy
- real time
- mobile applications
- mobile environments
- partially observable markov decision processes
- ubiquitous computing environments
- context aware services
- pervasive computing
- ubiquitous environment
- smart home
- smart spaces
- tree automata
- mobile agents
- user context
- artificial intelligence