Mahesh Viswanathan

19982019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles
Model checking Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Formal languages Engineering & Materials Science
Computability and decidability Engineering & Materials Science
Hybrid Automata Mathematics
Automata Mathematics
Hybrid Systems Mathematics
Temporal logic Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1998 2019

Decidable and expressive classes of probabilistic automata

Ben, Y., Chadha, R., Sistla, A. P. & Viswanathan, M., Mar 2019, In : Journal of Computer and System Sciences. 100, p. 70-95 26 p.

Research output: Contribution to journalArticle

Probabilistic Automata
Formal languages
Infinite Words
Regular Languages
Class

Statistical verification of PCTL using antithetic and stratified samples

Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Jan 1 2019, (Accepted/In press) In : Formal Methods in System Design.

Research output: Contribution to journalArticle

Logic
Markov processes
Sampling
Markov chain
Discrete-time

A decidable fragment of second order logic with applications to synthesis

Parthasarathy, M., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Surface mount technology

Approximating probabilistic automata by regular languages

Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 14

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal languages
Finite automata

Complexity of model checking MDPs against LTL specifications

Kini, D. & Viswanathan, M., Jan 1 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Specifications