Weighted One-Deterministic-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (FSTTCS, 2023)

One Deterministic-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (CoRR, 2023)

Equivalence of Deterministic Weighted Real-Time One-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (ICLA, 2025)

Learning Real-Time One-Counter Automata Using Polynomially Many Queries. - Prince Mathew 001; Vincent Penelle; A. V. Sreejith (TACAS (1), 2025)

Learning Deterministic One-Counter Automata in Polynomial Time. - Prince Mathew 001; Vincent Penelle; A. V. Sreejith (CoRR, 2025)