Prince Mathew

According to our database, Prince Mathew authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Learning Real-Time One-Counter Automata Using Polynomially Many Queries.

Prince Mathew, Vincent Penelle, A. V. Sreejith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Learning Deterministic One-Counter Automata in Polynomial Time.

Prince Mathew, Vincent Penelle, A. V. Sreejith

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Equivalence of Deterministic Weighted Real-Time One-Counter Automata.

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith

Proceedings of the Logic and Its Applications - 11th Indian Conference, 2025

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

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

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2023

One Deterministic-Counter Automata.

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith

CoRR, 2023

Weighted One-Deterministic-Counter Automata.

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023