Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (10 September 2015). Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. Paper presented at 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 presented at 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 presented at 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 presented at Séminaire graphes et logique, Bordeaux, France. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (03 September 2014). Secure Equilibria in Weighted Games. Paper presented at 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 presented at CSL-LICS, Vienne, Austria. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (2014). Secure Equilibria in Weighted Games. Paper presented at 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 presented at Third Cassting Meeting, Bruxelles, Belgium. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (12 April 2014). Secure Equilibria in Weighted Games. Paper presented at 1st Cassting Workshop ETAPS 2014, Grenoble, France. |
Bruyère, V., Meunier, N., & Raskin, J.-F. (17 December 2013). Quantitative Secure Equilibria. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. |