According to our database1, Aaron Bohy authored at least 4 papers between 2012 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.
Acta Inf., 2017
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014
Synthesis from LTL Specifications with Mean-Payoff Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Acacia+, a Tool for LTL Synthesis.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012