Non-Zero Sum Games for Reactive Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas. Non-Zero Sum Games for Reactive Synthesis. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 3-23, Springer, 2016. [doi]

This author has not been identified. Look up 'Romain Brenguier' in GoogleThis author has not been identified. Look up 'Lorenzo Clemente' in GoogleThis author has not been identified. Look up 'Paul Hunter' in GoogleThis author has not been identified. Look up 'Guillermo A. Pérez' in GoogleThis author has not been identified. Look up 'Mickael Randour' in GoogleThis author has not been identified. Look up 'Jean-François Raskin' in GoogleThis author has not been identified. Look up 'Ocan Sankur' in GoogleThis author has not been identified. Look up 'Mathieu Sassolas' in Google

runs on WebDSL