Specifiable robustness in reactive synthesis

DOI10.1007/S10703-023-00418-XOpenAlexW4360618790MaRDI QIDQ6102166FDOQ6102166

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)

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

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

zbMATH Keywords

robustnesssynthesisformal methodsreactive synthesishardware synthesistemporal logic specificationshardware robustness

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

Cited In (5)

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

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)