Explainable Reactive Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tom Baumeister, Bernd Finkbeiner, Hazem Torfah. Explainable Reactive Synthesis. In Dang Van Hung, Oleg Sokolsky, editors, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Volume 12302 of Lecture Notes in Computer Science, pages 413-428, Springer, 2020. [doi]

This author has not been identified. Look up 'Tom Baumeister' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Hazem Torfah' in Google

runs on WebDSL