Travelled to:1 × Italy
1 × USA
Collaborated with:V.Bruyère E.Filiot J.Raskin N.Jin
Talks about:synthesi (2) ltl (2) specif (1) payoff (1) object (1) acacia (1) tool (1) mean (1)
Person: Aaron Bohy
DBLP: Bohy:Aaron
Contributed to:
2013
2012Wrote 2 papers:
- TACAS-2013-BohyBFR #ltl #specification #synthesis
- Synthesis from LTL Specifications with Mean-Payoff Objectives (AB, VB, EF, JFR), pp. 169–184.
- CAV-2012-BohyBFJR #ltl #synthesis
- Acacia+, a Tool for LTL Synthesis (AB, VB, EF, NJ, JFR), pp. 652–657.