Information-guided persistent monitoring under temporal logic constraints.

Austin Jones Mac Schwager Calin Belta

Published in: ACC (2015)

Keyphrases

temporal logic
concurrent systems
multi agent systems
model checking
dynamic programming
contextual information
petri net