Travelled to:1 × Estonia
1 × USA
Collaborated with:J.Strejcek M.Kretínský V.Rehák F.Blahoudek A.Duret-Lutz J.Klein J.Kretínský D.Müller D.Parker
Talks about:automata (2) determinist (1) translat (1) format (1) omega (1) hanoi (1) büchi (1) more (1) fast (1) ltl (1)
Person: Tomás Babiak
DBLP: Babiak:Tom=aacute=s
Contributed to:
2015
2012Wrote 2 papers:
- CAV-2015-BabiakBDKKM0S
- The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
- TACAS-2012-BabiakKRS #automaton #ltl #performance
- LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.