Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne Multi-buffer simulations for trace language inclusion. (English) Zbl 1478.68130 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 213-227 (2016). MSC: 68Q45 68Q25 91A80 PDFBibTeX XMLCite \textit{M. Hutagalung} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 213--227 (2016; Zbl 1478.68130) Full Text: arXiv Link
Hutagalung, Milka; Lange, Martin; Lozes, Etienne Buffered simulation games for Büchi automata. (English) Zbl 1464.68171 Ésik, Zoltán (ed.) et al., Proceedings of the 14th international conference on automata and formal languages, AFL’14, Szeged, Hungary, May 27–29, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 151, 286-300 (2014). MSC: 68Q45 91A80 PDFBibTeX XMLCite \textit{M. Hutagalung} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 151, 286--300 (2014; Zbl 1464.68171) Full Text: arXiv Link
Hutagalung, Milka; Lange, Martin; Lozes, Etienne Revealing vs. concealing: more simulation games for Büchi inclusion. (English) Zbl 1377.68113 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 347-358 (2013). MSC: 68Q45 91A80 PDFBibTeX XMLCite \textit{M. Hutagalung} et al., Lect. Notes Comput. Sci. 7810, 347--358 (2013; Zbl 1377.68113) Full Text: DOI