General Anticipatory Monitoring for Temporal Logics on Finite Traces.

Hannes Kallwies Martin Leucker César Sánchez

Published in: RV (2023)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
special case
modal logic
concurrent systems
real time
monitoring system
belief revision
satisfiability problem
multi agent
knowledge representation