BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bohy:Aaron

Contributed to:

TACAS 20132013
CAV 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.