On-the-Fly Synthesis for Strictly Alternating Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba. On-the-Fly Synthesis for Strictly Alternating Games. In Ryszard Janicki, Natalia Sidorova, Thomas Chatain, editors, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings. Volume 12152 of Lecture Notes in Computer Science, pages 109-128, Springer, 2020. [doi]

This author has not been identified. Look up 'Shyam Lal Karra' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Marco Muñiz' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL