Reactive Safety
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model checking, and synthesis problems. In this paper, we revisit the notion of safety for reactive systems, i.e., for systems w...
Main Authors: | Rüdiger Ehlers, Bernd Finkbeiner |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2011-06-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1106.1240v1 |
Similar Items
-
Petri Games: Synthesis of Distributed Systems with Causal Memory
by: Bernd Finkbeiner, et al.
Published: (2014-08-01) -
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation
by: Bernd Finkbeiner, et al.
Published: (2022-04-01) -
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
by: Lars Kuhtz, et al.
Published: (2012-10-01) -
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
by: Raven Beutner, et al.
Published: (2023-05-01) -
Detecting Unrealizability of Distributed Fault-tolerant Systems
by: Bernd Finkbeiner, et al.
Published: (2015-09-01)