Travelled to:1 × Hungary
1 × Spain
Collaborated with:M.Lange É.Lozes
Talks about:simul (2) büchi (2) game (2) automata (1) conceal (1) reveal (1) inclus (1) buffer (1) more (1)
Person: Milka Hutagalung
DBLP: Hutagalung:Milka
Contributed to:
2014
2013Wrote 2 papers:
- AFL-2014-HutagalungLL #automaton #game studies #simulation
- Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
- LATA-2013-HutagalungLL #automaton #game studies #simulation
- Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.