Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (10 September 2015). Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability [Paper presentation]. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany. |
Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (2015). Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability [Paper presentation]. Annual Conference for Computer Science Logic, Berlin, Germany. |
Hauweele, P., Meunier, N., & Pijcke, F. (2015). Quand génétique devient optimisation. |
Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (03 February 2015). Weak subgame perfect equilibria in quantitative games [Paper presentation]. Dagstuhl Seminar, 'Non-Zero-Sum-Games and Control', Wadern, Germany. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (25 November 2014). Secure Equilibria in Weighted Games [Paper presentation]. Séminaire graphes et logique, Bordeaux, France. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (03 September 2014). Secure Equilibria in Weighted Games [Paper presentation]. Highlights of Logic, Games and Automata, Paris, France. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (15 July 2014). Secure Equilibria in Weighted Games [Paper presentation]. CSL-LICS, Vienne, Austria. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (2014). Secure Equilibria in Weighted Games [Paper presentation]. Annual Conference for Computer Science Logic, Vienne, Austria. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (21 May 2014). Secure Equilibria in Weighted Games [Paper presentation]. Third Cassting Meeting, Bruxelles, Belgium. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (12 April 2014). Secure Equilibria in Weighted Games [Paper presentation]. 1st Cassting Workshop ETAPS 2014, Grenoble, France. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (17 December 2013). Quantitative Secure Equilibria [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium. |