How to Win First-Order Safety Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Helmut Seidl, Christian Müller 0008, Bernd Finkbeiner. How to Win First-Order Safety Games. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 426-448, Springer, 2020. [doi]

This author has not been identified. Look up 'Helmut Seidl' in GoogleThis author has not been identified. Look up 'Christian Müller 0008' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in Google

runs on WebDSL