Milka Hutagalung

According to our database, Milka Hutagalung authored at least 8 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Topological Characterisation of Multi-Buffer Simulation.

Milka Hutagalung

Fundam. Informaticae, 2021

2019

Buffered Simulation for Büchi Automata.

Milka Hutagalung

PhD thesis, 2019

2018

Multi-buffer simulations: Decidability and complexity.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Inf. Comput., 2018

2016

Two-Buffer Simulation Games.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

Multi-Buffer Simulations for Trace Language Inclusion.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Seventh International Symposium on Games, 2016

2014

Buffered Simulation Games for Büchi Automata.

Milka Hutagalung, Martin Lange, Étienne Lozes

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Model Checking for String Problems.

Milka Hutagalung, Martin Lange

Proceedings of the Computer Science - Theory and Applications, 2014

2013

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion.

Milka Hutagalung, Martin Lange, Étienne Lozes

Proceedings of the Language and Automata Theory and Applications, 2013