×

Found 11 Documents (Results 1–11)

Newest Citations Relevance
Vaandrager, Frits; Garhewal, Bharat; Rot, Jurriaan; Wißmann, Thorsten

A new approach for active automata learning based on apartness. (English) Zbl 07793097

Fisman, Dana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13243, 223-243 (2022).
MSC:  68Q32 68Q45
Cite Review PDF
Full Text: DOI arXiv
OA License
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra

A categorical framework for learning generalised tree automata. (English) Zbl 07628067

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 67-87 (2022).
MSC:  68Q65
Cite Review PDF
Full Text: DOI arXiv
Bonchi, Filippo; Santamaria, Alessio

Combining semilattices and semimodules. (English) Zbl 07410421

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021).
MSC:  68Nxx 68Qxx
Cite Review PDF
Full Text: DOI arXiv
OA License
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra

Tree automata as algebras: minimisation and determinisation. (English) Zbl 1516.68052

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 6, 22 p. (2019).
MSC:  68Q70 18B20
Cite Review PDF
Full Text: DOI arXiv
Ciancia, Vincenzo; Venema, Yde

\(\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
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Serial

Year of Publication

Main Field

Software