Synthesizing Non-Vacuous Systems
From MaRDI portal
Publication:2961552
DOI10.1007/978-3-319-52234-0_4zbMath1484.68096OpenAlexW2570364242MaRDI QIDQ2961552
Roderick Bloem, Ofer Strichman, Hana Chockler, Masoud Ebrahimi
Publication date: 21 February 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/synthesizing-nonvacuous-systems(0c6793e4-e240-4451-814d-63b3fe6d3b5b).html
Related Items
Specifiable robustness in reactive synthesis, Vacuity in synthesis, Satisfiability checking for mission-time \textsf{LTL} (MLTL)
Cites Work
- Finding and fixing faults
- Reasoning about infinite computations
- Beyond vacuity: towards the strongest passing formula
- Synthesizing robust systems
- Robustness Analysis of Networked Systems
- Bounded Synthesis
- Better Quality in Synthesis through Quantitative Objectives
- Computer Aided Verification
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods
- Computer Aided Verification
- Efficient detection of vacuity in temporal model checking
- Unnamed Item
- Unnamed Item