# Aaron Bohy

According to our database

Collaborative distances:

^{1}, Aaron Bohy authored at least 4 papers between 2012 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.

Acta Inf., 2017

2014

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

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

2013

Synthesis from LTL Specifications with Mean-Payoff Objectives.

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

2012

Acacia+, a Tool for LTL Synthesis.

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