Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions.
Dmitriy LevonevskiyIrina V. VatamaniukAnton I. SavelievPublished in: ICR (2017)
Keyphrases
- temporal logic
- smart spaces
- model checking
- temporally extended
- modal logic
- context aware
- linear temporal logic
- transition systems
- temporal knowledge
- mobile devices
- situation calculus
- verification method
- mazurkiewicz traces
- artificial intelligence
- pervasive computing
- reactive systems
- multi user
- decision theoretic planning
- ubiquitous computing
- data integration
- computation tree logic
- qualitative simulation
- augmented reality
- temporally extended goals
- automata theoretic
- database systems