Explainable Reactive Synthesis

DOI10.1007/978-3-030-59152-6_23MaRDI QIDQ6485897

Unnamed Author, Bernd Finkbeiner, Hazem Torfah

Publication date: 22 December 2022

Published in: 1517.68223 (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ Verification, Model Checking, and Abstract Interpretation

Recommendations

• Unnamed Item 👍 👎
• Synthesis of Reactive(1) designs 👍 👎
• Reactive synthesis without regret 👍 👎
• Adapting behaviors via reactive synthesis 👍 👎
• Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours 👍 👎
• Cooperative Reactive Synthesis 👍 👎
• Reactive Synthesis Without Regret 👍 👎
• Verification, Model Checking, and Abstract Interpretation 👍 👎
• Specifiable robustness in reactive synthesis 👍 👎

This page was built for publication: Explainable Reactive Synthesis