Decentralised LTL Monitoring.

Andreas Klaus Bauer Yliès Falcone

Published in: FM (2012)

Keyphrases

temporal logic
model checking
real time
monitoring system
bounded model checking
multi agent systems
genetic algorithm
discrete event systems
website
decision support
autonomous agents
machine learning
early warning
deterministic automata
search space
information systems
databases
data sets