Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Laura NenziLuca BortolussiVincenzo CianciaMichele LoretiMieke MassinkPublished in: CoRR (2017)
Keyphrases
- qualitative and quantitative
- temporal properties
- model checking
- low power
- quantitative and qualitative
- power reduction
- possibility theory
- qualitative information
- temporal reasoning
- real time
- formal methods
- power consumption
- low cost
- wireless sensor networks
- belief revision
- multi agent systems
- pattern recognition
- bayesian networks
- finite state machines
- neural network