×

Found 33 Documents (Results 1–33)

\(\omega \)-automata. (English) Zbl 1516.68051

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 189-234 (2021).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

Polynomial identification of \(\omega \)-automata. (English) Zbl 1483.68153

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 325-343 (2020).
MSC:  68Q45 68Q32
PDFBibTeX XMLCite
Full Text: DOI

Ambiguity, weakness, and regularity in probabilistic Büchi automata. (English) Zbl 07250955

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 522-541 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent Kleene algebra with observations: from hypotheses to completeness. (English) Zbl 07250948

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 381-400 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(\Omega\)-automata: a coalgebraic perspective on regular \(\omega\)-languages. (English) Zbl 07649888

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 5, 18 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

State complexity of the multiples of the Thue-Morse set. (English) Zbl 07453075

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34-49 (2019).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Regular \(\omega\)-languages with an informative right congruence. (English) Zbl 1528.68169

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 265-279 (2018).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Going beyond Turing with P automata: partial adult halting and regular observer \(\omega\)-languages. (English) Zbl 1465.68082

Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 169-180 (2015).
MSC:  68Q07 68Q45
PDFBibTeX XMLCite
Full Text: DOI

On the minimization problem for \(\omega \)-automata. (English) Zbl 1493.68193

Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 504-514 (1994).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software