C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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