Specifiable robustness in reactive synthesis

DOI10.1007/s10703-023-00418-xOpenAlexW4360618790MaRDI QIDQ6102166

Hana Chockler, Masoud Ebrahimi, Roderick Bloem, 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

zbMATH Keywords

synthesisrobustnessformal methodsreactive synthesishardware synthesistemporal logic specificationshardware robustness

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Synthesis of Reactive(1) designs
• Robustness of temporal logic specifications for continuous-time signals
• The complementation problem for Büchi automata with applications to temporal logic
• Reasoning about infinite computations
• Synthesizing robust systems
• Synthesizing Non-Vacuous Systems
• On synthesizing robust discrete controllers under modeling uncertainty
• Graph Games and Reactive Synthesis
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• Robustness Analysis of String Transducers
• Formalizing and Reasoning about Quality

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