Aaron Bohy

According to our database, Aaron Bohy authored at least 5 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Acta Informatica, 2017

2014

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes.

Aaron Bohy, Véronique Bruyère, Jean-François Raskin

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

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

2013

Synthesis from LTL Specifications with Mean-Payoff Objectives.

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Acacia+, a Tool for LTL Synthesis.

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012