Vishnu Murali
Bio and Research
Vishnu Murali is a PhD candidate in the Department of Computer Science at the University of Colorado, Boulder. He received his B.E. degree (Computer Science and Engineering, 2019) from Visvesvaraya Technological University, India. His current research interests include logic, automata and hybrid systems.
Teaching
Publications
V. Murali, A. Trivedi, and M. Zamani. “A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.” IEEE Control System Letters, vol. 6, pp. 3247-3252, 2022.
V. Dave, S. Krishna, V. Murali, and A. Trivedi. “Optimal Repair for Omega-Regular Properties.” Automated Technology for Verification and Analysis (ATVA) 2002.
M. Anand, V. Murali, A. Trivedi, and M. Zamani. “k-Inductive Barrier Certificates for Stochastic Systems.” 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Article no.: 12, pp. 1-11, 2022.
M. Anand, V. Murali, A. Trivedi, and M. Zamani. “Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.” 60th IEEE Conference on Decision and Control (CDC), pp. 1314-1320, 2021.
|