Bohy, A., Bruyère, V., Raskin, J.-F., & Bertrand, N. (04 January 2017). Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica, 54 (6), 545-587. ![]() |
![]() ![]() | Bohy, A., Carlier, P., De Pril, J., Oualhadj, Y., & Randour, M. (2014). Jouer n'est pas qu'un jeu ! |
Bohy, A., Bruyère, V., & Raskin, J.-F. (2014). Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes [Paper presentation]. Workshop on Synthesis, SYNT, Vienne, Austria. |
Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (19 March 2013). Synthesis from LTL Specifications with Mean-Payoff Objectives [Paper presentation]. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy. |
Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). Synthesis from LTL Specifications with Mean-Payoff Objectives [Paper presentation]. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Rome, Italy. |
Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (21 September 2012). Synthesis from LTL specifications with mean-payoff objectives [Paper presentation]. GT Jeux, Cachan, France. |
Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (10 July 2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. CAV - Computer Aided Verification, Berkeley, United States - California. |
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. International Conference on Computer Aided Verification, Berkeley, United States - California. |
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (07 June 2012). Synthesis from LTL and mean-payoff objectives [Paper presentation]. Quantitative models for verification and synthesis, Bruxelles, Belgium. |
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (06 June 2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium. |
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (30 November 2011). Acacia+, a Tool for LTL Synthesis [Paper presentation]. Gasics Meeting, Bruxelles, Belgium. |