Travelled to:1 × Estonia
Collaborated with:J.Strejcek T.Babiak M.Kretínský P.Slovák L.Hélouët
Talks about:determinist (1) translat (1) coregion (1) automata (1) condit (1) decid (1) büchi (1) race (1) open (1) more (1)
Person: Vojtech Rehák
DBLP: Reh=aacute=k:Vojtech
Contributed to:
2012
2010Wrote 2 papers:
- TACAS-2012-BabiakKRS #automaton #ltl #performance
- LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.
- GT-VMT-2010-RehakSSH #decidability
- Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).