OCA-L*

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.

Machine Learning and Algorithms VLSI and Analog Circuit Testing semigroups and automata theory

View graph Source

Paper

Similar papers

Learning Deterministic One-Counter Automata in Polynomial TimePrince Mathew, Vincent Penelle, A. V. Sreejith2025 · arXiv (Cornell University) In Library

Learning Deterministic One-Counter Automata in Polynomial TimePrince Mathew, Vincent Penelle, A. V. Sreejith2025 In Library

Learning Realtime One-Counter AutomataVéronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet2021 · arXiv (Cornell University) In Library

Learning real-time one-counter automata using polynomially many queriesPrince Mathew, Vincent Penelle, A. V. Sreejith2024 · arXiv (Cornell University) In Library

Scalable Learning of One-Counter Automata via State-Merging AlgorithmsGuha, Shibashis, Majumdar, Anirban, Mathew, Prince et al.2025 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) In Library

Learning Real-Time One-Counter Automata Using Polynomially Many QueriesPrince Mathew, Vincent Penelle, A. V. Sreejith2025 · Lecture notes in computer science In Library

Learning Realtime One-Counter AutomataVéronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet2022 · Lecture notes in computer science In Library

AutoOC: A Python module for automated multi-objective One-Class ClassificationLuís Ferreira, Paulo Cortez2023 · Software Impacts In Library

Active Learning of Automata for JSON-Streaming ValidationGaëtan Staquet2022 · ORBi UMONS In Library

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed AutomataKyveli Doveri, Pierre Ganty, B. Srivathsan2026 · arXiv (Cornell University) In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal