Adapting Behaviors via Reactive Synthesis

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]

Authors

Gal Amram

This author has not been identified. Look up 'Gal Amram' in Google

Suguman Bansal

This author has not been identified. Look up 'Suguman Bansal' in Google

Dror Fried

This author has not been identified. Look up 'Dror Fried' in Google

Lucas Martinelli Tabajara

This author has not been identified. Look up 'Lucas Martinelli Tabajara' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google

Gera Weiss

This author has not been identified. Look up 'Gera Weiss' in Google