Mahesh Viswanathan, Ph.D.
Affiliations: | 2000 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Circuits and Computer EngineeringGoogle:
"Mahesh Viswanathan"Parents
Sign in to add mentor
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Mathur U, Bauer MS, Chadha R, et al. (2020) Exact quantitative probabilistic model checking through rational search Formal Methods in System Design. 1-37 |
| Ben Y, Chadha R, Sistla AP, et al. (2019) Decidable and expressive classes of probabilistic automata Journal of Computer and System Sciences. 100: 70-95 |
| Wang Y, Roohi N, West M, et al. (2016) A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems Ifac-Papersonline. 48: 263-273 |
| Prabhakar P, Dullerud G, Viswanathan M. (2015) Stability Preserving Simulations and Bisimulations for Hybrid Systems Ieee Transactions On Automatic Control. 60: 3210-3225 |
| Prabhakar P, Vladimerou V, Viswanathan M, et al. (2015) A decidable class of planar linear hybrid systems Theoretical Computer Science. 574: 1-17 |
| Legay A, Viswanathan M. (2015) Statistical model checking: Challenges and perspectives International Journal On Software Tools For Technology Transfer. 17: 369-376 |
| Roohi N, Viswanathan M. (2015) Statistical model checking for unbounded until formulas International Journal On Software Tools For Technology Transfer. 17: 417-427 |
| Chadha R, Viswanathan M, Viswanathan R. (2014) Least upper bounds for probability measures and their applications to abstractions Information and Computation. 234: 68-106 |
| Bonnet R, Chadha R, Madhusudan P, et al. (2013) Reachability under contextual locking Logical Methods in Computer Science. 9 |
| Vladimerou V, Prabhakar P, Viswanathan M, et al. (2012) Verification of bounded discrete horizon hybrid automata Ieee Transactions On Automatic Control. 57: 1445-1455 |