Decentralised LTL monitoring.
Andreas BauerYliès FalconePublished in: Formal Methods Syst. Des. (2016)
Keyphrases
- monitoring system
- model checking
- real time
- temporal logic
- discrete event systems
- multi agent systems
- decision support
- bounded model checking
- linear temporal logic
- conflict resolution
- intensive care
- autonomous agents
- early warning
- data acquisition
- deterministic automata
- neural network
- database
- data sets
- domain specific
- decision making
- genetic algorithm