Follow
Aaron Bohy
Aaron Bohy
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin
Computer Aided Verification, 652-657, 2012
1792012
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
642013
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
A Bohy, V Bruyere, JF Raskin
arXiv preprint arXiv:1407.5396, 2014
92014
Antichain based algorithms for the synthesis of reactive systems
A Bohy
Ph. D. thesis, University of Mons, 2014
52014
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
Acacia+ v2. 3-User manual
A Bohy
2019
Jouer n’est pas qu’un jeu!
A Bohy, P Carlier, J De Pril, Y Oualhadj, M Randour
The system can't perform the operation now. Try again later.
Articles 1–7