B Srivathsan

B Srivathsan

Chennai Mathematical Institute - Chennai / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 4546590
சென்னை கணிதவியல் கழகம்
person_outline B Srivathsan's MOST POPULAR ARTICLES
1-) Better abstractions for timed automataF Herbreteau, B Srivathsan, I WalukiewiczInformation and Computation 251, 67-90, 2016582016
2-) Lazy abstractions for timed automataF Herbreteau, B Srivathsan, I WalukiewiczInternational Conference on Computer Aided Verification, 990-1005, 2013392013
3-) Using non-convex approximations for efficient analysis of timed automataF Herbreteau, D Kini, B Srivathsan, I WalukiewiczarXiv preprint arXiv:1110.3704, 2011292011
4-) Why liveness for timed automata is hard, and what we can do about itF Herbreteau, B Srivathsan, TT Tran, I WalukiewiczACM Transactions on Computational Logic (TOCL) 21 (3), 1-28, 2020252020
5-) Efficient emptiness check for timed büchi automataF Herbreteau, B Srivathsan, I WalukiewiczComputer Aided Verification: 22nd International Conference, CAV 2010 …, 2010252010