R. Keerthan

According to our database, R. Keerthan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System.

R. Keerthan, B. Srivathsan, R. Venkatesh

Proceedings of the Networked Systems - 13th International Conference, 2025

2024

Deterministic Suffix-reading Automata.

R. Keerthan, B. Srivathsan, R. Venkatesh, Sagar Verma

Proceedings of the Proceedings Fifteenth International Symposium on Games, 2024