×

Found 3 Documents (Results 1–3)

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
Full Text: arXiv Link

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
Full Text: arXiv Link

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field