Sign in
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Bernd Finkbeiner
Martin Fränzle
Florian Kohn
Paul Kröger
Published in:
Algorithms (2022)
Keyphrases
</>
temporal logic
cyber physical systems
model checking
modal logic
cyber physical
linear temporal logic
monitoring system
verification method
physical world
cyber security
knowledge base
knowledge discovery
computational intelligence
software development
belief revision
transition systems