Milka Hutagalung

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 5

Top Topics

Probabilistic Automata

Alternating Time Temporal Logic

Simulation Models

Top Venues

Fundam. Informaticae

University of Kassel, Germany (PHD)

Education History

University of Kassel, Germany

PHD

Publications

Milka Hutagalung
Topological Characterisation of Multi-Buffer Simulation. Fundam. Informaticae 178 (1-2) (2021)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Multi-buffer simulations: Decidability and complexity. Inf. Comput. 262 (2018)
Milka Hutagalung
Topological Characterisation of Multi-buffer Simulation. RP (2017)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Multi-Buffer Simulations for Trace Language Inclusion. GandALF (2016)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Two-Buffer Simulation Games. Cassting/SynCoP (2016)
Milka Hutagalung, Martin Lange, Étienne Lozes
Buffered Simulation Games for Büchi Automata. AFL (2014)
Milka Hutagalung, Martin Lange
Model Checking for String Problems. CSR (2014)
Milka Hutagalung, Martin Lange, Étienne Lozes
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. LATA (2013)