Karthik R. Prakash

According to our database, Karthik R. Prakash authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.

S. Akshay, Paul Gastin, Karthik R. Prakash

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021