| Acacia+, a tool for LTL synthesis A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin Computer Aided Verification, 652-657, 2012 | 178 | 2012 |
| Synthesis from LTL Specifications with Mean-Payoff Objectives A Bohy, V Bruyère, E Filiot, JF Raskin Tools and Algorithms for the Construction and Analysis of Systems, 169-184, 2013 | 63 | 2013 |
| Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes A Bohy, V Bruyere, JF Raskin arXiv preprint arXiv:1407.5396, 2014 | 9 | 2014 |
| Antichain based algorithms for the synthesis of reactive systems A Bohy Ph. D. thesis, University of Mons, 2014 | 5 | 2014 |
| Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version) A Bohy, V Bruyere, JF Raskin arXiv preprint arXiv:1402.1076, 2014 | 2* | 2014 |
| Jouer n’est pas qu’un jeu! A Bohy, P Carlier, J De Pril, Y Oualhadj, M Randour | | 2023 |
| Acacia+ v2. 3-User manual A Bohy | | 2019 |
