Reactive Synthesis Modulo Theories using Abstraction Refinement

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022
Publisher	TU Wien Academic Press
Publication status	Accepted/In press - 2022
Event	22nd Formal Methods in Computer-Aided Design: FMCAD 2022 - Trento, Italy Duration: 19 Oct 2022 → 21 Oct 2022

Conference	22nd Formal Methods in Computer-Aided Design
Abbreviated title	FMCAD 2022
Country/Territory	Italy
City	Trento
Period	19/10/22 → 21/10/22

Cite this

@inproceedings{b0a0d943c583405bb0f9c72c3d98ec17,

title = "Reactive Synthesis Modulo Theories using Abstraction Refinement",

author = "Benedikt Maderbacher and Roderick Bloem",

year = "2022",

language = "English",

booktitle = "Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022",

publisher = "TU Wien Academic Press",

note = "22nd Formal Methods in Computer-Aided Design : FMCAD 2022, FMCAD 2022 ; Conference date: 19-10-2022 Through 21-10-2022",

}

TY - GEN

T1 - Reactive Synthesis Modulo Theories using Abstraction Refinement

AU - Maderbacher, Benedikt

AU - Bloem, Roderick

PY - 2022

Y1 - 2022

M3 - Conference paper

BT - Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022

PB - TU Wien Academic Press

T2 - 22nd Formal Methods in Computer-Aided Design

Y2 - 19 October 2022 through 21 October 2022

ER -