Subgame Perfection for Equilibria in Quantitative Reachability Games

Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert. Subgame Perfection for Equilibria in Quantitative Reachability Games. In Lars Birkedal, editor, Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Volume 7213 of Lecture Notes in Computer Science, pages 286-300, Springer, 2012. [doi]

Authors

Thomas Brihaye

This author has not been identified. Look up 'Thomas Brihaye' in Google

Véronique Bruyère

This author has not been identified. Look up 'Véronique Bruyère' in Google

Julie De Pril

This author has not been identified. Look up 'Julie De Pril' in Google

Hugo Gimbert

This author has not been identified. Look up 'Hugo Gimbert' in Google