Author:
Jacobs Swen,Pérez Guillermo A.,Abraham Remco,Bruyère Véronique,Cadilhac Michaël,Colange Maximilien,Delfosse Charly,van Dijk Tom,Duret-Lutz Alexandre,Faymonville Peter,Finkbeiner Bernd,Khalimov Ayrat,Klein Felix,Luttenberger Michael,Meyer Klara,Michaud Thibaud,Pommellet Adrien,Renkin Florian,Schlehuber-Caissier Philipp,Sakr Mouhammad,Sickert Salomon,Staquet Gaëtan,Tamines Clément,Tentrup Leander,Walker Adam
Publisher
Springer Science and Business Media LLC
Reference64 articles.
1. Abraham, R.: Symbolic LTL reactive synthesis (2021). http://essay.utwente.nl/87386/
2. Apt, K.R., Grädel, E. (eds.): Lectures in Game Theory for Computer Scientists Cambridge University Press, Cambridge (2011). http://www.cambridge.org/gb/knowledge/isbn/item5760379
3. Lecture Notes in Computer Science;T. Babiak,2013
4. Proceedings, Part I, Lecture Notes in Computer Science;T. Babiak,2015
5. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)