Aaron Bohy

According to our database1, Aaron Bohy
  • authored at least 6 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of five.

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

Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.
CoRR, 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
Synthesis from LTL Specifications with Mean-Payoff Objectives
CoRR, 2012

Acacia+, a Tool for LTL Synthesis.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012


  Loading...