ASTL: Accumulative Signal Temporal Logic for IoT Service Monitoring.
Deng ZhaoZhangbing ZhouZhipeng CaiTeng LongSami YanguiXiao XuePublished in: ICWS (2022)
Keyphrases
- temporal logic
- model checking
- management system
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- computation tree logic
- mazurkiewicz traces
- linear temporal logic
- web services
- belief revision
- service composition
- cloud computing
- dynamic constraints
- domain specific
- reactive systems
- knowledge based systems
- bounded model checking
- reinforcement learning
- automata theoretic