Aaron Bohy

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Policy Iteration

Markov Decision Processes

Top Venues

Acta Informatica

Publications

Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica 54 (6) (2017)
Aaron Bohy, Véronique Bruyère, Jean-François Raskin
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. CoRR (2014)
Aaron Bohy, Véronique Bruyère, Jean-François Raskin
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes. SYNT (2014)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
Synthesis from LTL Specifications with Mean-Payoff Objectives. TACAS (2013)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
Synthesis from LTL Specifications with Mean-Payoff Objectives CoRR (2012)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Acacia+, a Tool for LTL Synthesis. CAV (2012)