BibTeX records: Aaron Bohy

• > Home > Persons > Aaron Bohy

@article{DBLP:journals/acta/BohyBRB17,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Nathalie Bertrand},
  title        = {Symblicit algorithms for mean-payoff and shortest path in monotonic
                  Markov decision processes},
  journal      = {Acta Informatica},
  volume       = {54},
  number       = {6},
  pages        = {545--587},
  year         = {2017}
}

@inproceedings{DBLP:journals/corr/BohyBR14a,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Symblicit algorithms for optimal strategy synthesis in monotonic Markov
                  decision processes},
  booktitle    = {{SYNT}},
  series       = {{EPTCS}},
  volume       = {157},
  pages        = {51--67},
  year         = {2014}
}

@article{DBLP:journals/corr/BohyBR14,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Symblicit algorithms for mean-payoff and shortest path in monotonic
                  Markov decision processes},
  journal      = {CoRR},
  volume       = {abs/1402.1076},
  year         = {2014}
}

@inproceedings{DBLP:conf/tacas/BohyBFR13,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Emmanuel Filiot and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {169--184},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:conf/cav/BohyBFJR12,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Emmanuel Filiot and
                  Naiyong Jin and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Acacia+, a Tool for {LTL} Synthesis},
  booktitle    = {{CAV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {652--657},
  publisher    = {Springer},
  year         = {2012}
}

@article{DBLP:journals/corr/abs-1210-3539,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Emmanuel Filiot and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives},
  journal      = {CoRR},
  volume       = {abs/1210.3539},
  year         = {2012}
}