Work

OCA-L*

Year: 2025

Type: preprint

Abstract: Python implementation of OCA-L* for active learning of deterministic real-time one-counter automata and Python implementation of OCA-L* and MinOCA for active learning of visibly one-counter automata.

Source: arXiv (Cornell University)

Authors: Guha, Shibashis, Majumdar, Anirban, Mathew, Prince, Sreejith, A.V.

Institutions: Tata Institute of Fundamental Research, Indian Institute of Technology Goa

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4414755431

Cites:

Cited by:

Related to: