Reactive Synthesis Modulo Theories using Abstraction Refinement

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationProceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022
PublisherTU Wien Academic Press
Publication statusAccepted/In press - 2022
Event22nd Formal Methods in Computer-Aided Design: FMCAD 2022 - Trento, Italy
Duration: 19 Oct 202221 Oct 2022

Conference

Conference22nd Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD 2022
Country/TerritoryItaly
CityTrento
Period19/10/2221/10/22

Cite this