Aaron Bohy

Identifiers

• name variant Aaron Bohy 0.60 · backfill

Papers (2)

1. Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version) cs.DS · 2014 · author #1
2. Synthesis from LTL Specifications with Mean-Payoff Objectives cs.LO · 2012 · author #1

Mentions

• 1402.1076 #1 · backfill · confidence 0.70 Aaron Bohy
• 1210.3539 #1 · backfill · confidence 0.70 Aaron Bohy

Frequent Coauthors

• Jean-Fran\c{c}ois Raskin 2 shared papers
• V\'eronique Bruy\`ere 2 shared papers
• Emmanuel Filiot 1 shared papers