Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss. Adapting Behaviors via Reactive Synthesis. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 870-893, Springer, 2021. [doi]
@inproceedings{AmramBFTVW21,
title = {Adapting Behaviors via Reactive Synthesis},
author = {Gal Amram and Suguman Bansal and Dror Fried and Lucas Martinelli Tabajara and Moshe Y. Vardi and Gera Weiss},
year = {2021},
doi = {10.1007/978-3-030-81685-8_41},
url = {https://doi.org/10.1007/978-3-030-81685-8_41},
researchr = {https://researchr.org/publication/AmramBFTVW21},
cites = {0},
citedby = {0},
pages = {870-893},
booktitle = {Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I},
editor = {Alexandra Silva 0001 and K. Rustan M. Leino},
volume = {12759},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-81685-8},
}