Karthik R. Prakash

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Recently Developed

Computational Efficiency

Top Venues

Publications

S. Akshay, Paul Gastin, Karthik R. Prakash
Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata. CAV (1) (2021)
S. Akshay, Paul Gastin, Karthik R. Prakash
Fast zone-based algorithms for reachability in pushdown timed automata. CoRR (2021)