AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Lakshmi Manasa

Lakshmi Manasa

Indian Institute of Technology Bombay - Mumbai / India
Others
AD Scientific Index ID: 4634639
भारतीय प्रौद्योगिकी संस्थान, मुंबई
person_outline Lakshmi Manasa's MOST POPULAR ARTICLES
1-) Timed automata with integer resets: Language inclusion and expressiveness International conference on formal modeling and analysis of timed systems, 78-92, 2008
2-) Adding negative prices to priced timed games International Conference on Concurrency Theory, 560-575, 2014
3-) On pure Nash equilibria in stochastic games International Conference on Theory and Applications of Models of Computation …, 2015
4-) Integer reset timed automata: Clock reduction and determinizability arXiv preprint arXiv:1001.1215, 2010
5-) What's decidable about recursive hybrid automata? Proceedings of the 18th International Conference on Hybrid Systems …, 2015