Decentralised LTL Monitoring

Andreas Bauer Yliès Falcone

Published in: CoRR (2011)

Keyphrases

monitoring system
real time
temporal logic
model checking
deterministic automata
multi agent systems
data mining
intensive care
databases
case study
cooperative
discrete event systems
linear temporal logic