Published October 10, 2025
| Version V1.0.0
Software
Open
OCA-L*
Authors/Creators
-
1.
Indian Institute of Technology Goa
- 2. Université Libre de Bruxelles, Belgium
-
3.
Tata Institute of Fundamental Research
Description
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. Artifact of the paper "Scalable Learning of One-Counter Automata via State-Merging Algorithms" (FSTTCS 2025).
arXiv: https://arxiv.org/abs/2509.05762
Publication: https://doi.org/10.4230/LIPIcs.FSTTCS.2025.35
Files
princemathew07/OCALStar-V1.0.0.zip
Files
(2.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad9a901f65090893266d6dcb50630b7e
|
2.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.4230/LIPIcs.FSTTCS.2025.35 (DOI)
- Is version of
- Software: https://github.com/princemathew07/OCALStar/tree/V1.0.0 (URL)
Software
- Repository URL
- https://github.com/princemathew07/OCALStar
- Programming language
- Python
- Development Status
- Concept