Specifiable robustness in reactive synthesis

DOI10.1007/S10703-023-00418-XMaRDI QIDQ6102166zbMATH OpenOpenAlexFDO

Authors Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Publication date 8 May 2023

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10703-023-00418-x

zbMATH Keywords

robustnesssynthesisformal methodsreactive synthesishardware synthesistemporal logic specificationshardware robustness

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Synthesizing robust systems
• Resilience to intermittent assumption violations in reactive synthesis
• On synthesizing robust discrete controllers under modeling uncertainty
• Environment Assumptions for Synthesis
• Robust synthesis for real-time systems

Cites work

• scientific article; zbMATH DE number 1759436 (Why is no real title available?)
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• Formalizing and Reasoning about Quality
• Graph Games and Reactive Synthesis
• On synthesizing robust discrete controllers under modeling uncertainty
• Reasoning about infinite computations
• Robustness analysis of string transducers
• Robustness of temporal logic specifications for continuous-time signals
• Synthesis of Reactive(1) designs
• Synthesizing non-vacuous systems
• Synthesizing robust systems
• The complementation problem for Büchi automata with applications to temporal logic

Cited in

(5)

• Synthesis of real time acceptors
• Explainable Reactive Synthesis
• Safe environmental envelopes of discrete systems
• Reactive Synthesis Without Regret
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Specifiable robustness in reactive synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6102166)