Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments.
Christian HoareauIchiro SatohPublished in: AINA (2008)
Keyphrases
- model checking
- location aware
- query processing
- epistemic logic
- temporal logic
- coalition logic
- modal logic
- location based services
- model checker
- formal verification
- context aware
- bounded model checking
- formal specification
- mobile computing
- symbolic model checking
- temporal properties
- automated verification
- computation tree logic
- mobile devices
- pspace complete
- location information
- verification method
- data management
- database systems
- timed automata
- transition systems
- alternating time temporal logic
- logical framework
- satisfiability problem
- communication networks
- learning experience
- data streams
- cl pc
- artificial intelligence