2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2019
Continuous Reachability for Unordered Data Petri nets is in PTime
Utkarsh Gupta, Preey Shah, S. Akshay +1
Unordered data Petri nets (UDPN) are an extension of classical Petri nets with tokens that carry data from an infinite domain and where transitions may check equality and disequali…
cs.LO2016★ 2 cited
Stochastic Timed Games Revisited
S Akshay, Patricia Bouyer, Shankara Narayanan Krishna +2
Stochastic timed games (STGs), introduced by Bouyer and Forejt, naturally generalize both continuous-time Markov chains and timed automata by providing a partition of the locations…