Quantitative safety and liveness
From MaRDI portal
Publication:6091203
DOI10.1007/978-3-031-30829-1_17arXiv2301.11175MaRDI QIDQ6091203
Nicolas Mazzocchi, Thomas A. Henzinger, N. Ege Saraç
Publication date: 24 November 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2301.11175
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantitative analysis of weighted transition systems
- Simulation distances
- Adequate proof principles for invariance and liveness properties of concurrent programs
- Defining liveness
- Recognizing safety and liveness
- Safety, liveness and fairness in temporal logic
- Spanning the spectrum from safety to liveness
- Model checking of linear-time properties in multi-valued systems
- Average-energy games
- The quantitative linear-time-branching-time spectrum
- Model checking discounted temporal properties
- From Model Checking to Model Measuring
- Generalized Quantitative Analysis of Metric Transition Systems
- Quantitative languages
- Temporal Specifications with Accumulative Values
- Approximate Determinization of Quantitative Automata
- Graph Games and Reactive Synthesis
- Comparing LTL Semantics for Runtime Verification
- Better Quality in Synthesis through Quantitative Objectives
- Proving the Correctness of Multiprocess Programs
- Probably safe or live
- Bidirectional nested weighted automata
- A Theory of Register Monitors
- Weighted Safety
- Exact and Approximate Determinization of Discounted-Sum Automata
- Automata, Languages and Programming
- Model checking of safety properties
- Refining the safety-liveness classification of temporal properties according to monitorability
This page was built for publication: Quantitative safety and liveness
