Membership-Based Synthesis of Linear Hybrid Automata

Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik. Membership-Based Synthesis of Linear Hybrid Automata. In Isil Dillig, Serdar Tasiran, editors, Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Volume 11561 of Lecture Notes in Computer Science, pages 297-314, Springer, 2019. [doi]

Authors

Miriam García Soto

This author has not been identified. Look up 'Miriam García Soto' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Christian Schilling

This author has not been identified. Look up 'Christian Schilling' in Google

Luka Zeleznik

This author has not been identified. Look up 'Luka Zeleznik' in Google