Acacia+, a Tool for LTL Synthesis. - Aaron Bohy; Véronique Bruyère; Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (CAV, 2012)

Synthesis from LTL Specifications with Mean-Payoff Objectives. - Aaron Bohy; Véronique Bruyère; Emmanuel Filiot; Jean-François Raskin (TACAS, 2013)

Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. - Aaron Bohy; Véronique Bruyère; Jean-François Raskin (CoRR, 2014)

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes. - Aaron Bohy; Véronique Bruyère; Jean-François Raskin (SYNT, 2014)

Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. - Aaron Bohy; Véronique Bruyère; Jean-François Raskin; Nathalie Bertrand 001 (Acta Informatica, 2017)