Login / Signup
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
Corto Mascle
Daniel Neider
Maximilian Schwenger
Paulo Tabuada
Alexander Weinert
Martin Zimmermann
Published in:
CoRR (2018)
Keyphrases
</>
operational semantics
formal semantics
data model
database
monitoring system
temporal logic
real time
neural network
control system
computationally efficient
model checking
improved algorithm