C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From LTL to rLTL monitoring: improved monitorability through robust semantics.
Corto Mascle
Daniel Neider
Maximilian Schwenger
Paulo Tabuada
Alexander Weinert
Martin Zimmermann
Published in:
HSCC (2020)
Keyphrases
</>
logic programming
real time
monitoring system
model checking
improved algorithm
conceptual graphs
formal semantics
learning algorithm
search engine
knowledge base
case study
operational semantics