Prince Mathew

According to our database, Prince Mathew authored at least 8 papers between 2023 and 2026.

Collaborative distances:

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

2026

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning.

Debraj Chakraborty, Anirban Majumdar, Prince Mathew, Sayan Mukherjee, Jean-François Raskin

CoRR, May, 2026

Edit Distance of Finite-Valued Transducers.

Prince Mathew, Saina Sunny

CoRR, May, 2026

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