Sayan Mukherjee
Sayan Mukherjee
Verified email at cmi.ac.in - Homepage
Title
Cited by
Cited by
Year
Reachability in timed automata with diagonal constraints
P Gastin, S Mukherjee, B Srivathsan
arXiv preprint arXiv:1806.11007, 2018
72018
Fast algorithms for handling diagonal constraints in timed automata
P Gastin, S Mukherjee, B Srivathsan
International Conference on Computer Aided Verification, 41-59, 2019
42019
Reachability for Updatable Timed Automata made faster and more effective
P Gastin, S Mukherjee, B Srivathsan
arXiv preprint arXiv:2009.13260, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–3