Scalable Learning of One-Counter Automata via State-Merging Algorithms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Guha, Shibashis, Majumdar, Anirban, Mathew, Prince, Sreejith, A. V.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory Data Structures and Algorithms Logic in Computer Science F.3.1; F.4.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2509.05762