HyConSys
Home
Members
Teaching
News
Research
Publications
Software
Contacts
Contact us

Vishnu Murali

Vishnu Murali 

Postdoctoral Researcher

Department of Computer Science,
University of Colorado, Boulder

E-Mail: [firstname].[lastname] [ @ ] colorado . edu

Bio and Research

Vishnu Murali is a postdoctoral researcher in the Department of Computer Science at the University of Colorado Boulder. He will receive his PhD degree (Computer Science, 2024) from the University of Colorado Boulder, USA. He received an M.S. degree (computer Science, 2023) from the University of Colorado Boulder, USA, and a B.E. degree (Computer Science and Engineering, 2019) from B.M.S College of Engineering, Visvesvaraya Technological University, India. His current research interests include logic, automata and hybrid systems.

Teaching

  • Spring 2020: Linear Algebra with Computer Science Applications (CSCI 2820) (Course Manager)

  • Fall 2020: Algorithms (CSCI 3104) (TA)

Publications

  • V. Murali, A. Trivedi, and M. Zamani. “Falsification via Barrier Certificates.” American Control Conference (ACC), 2024.

  • F. Galarza-Jimenez, V. Murali, and M. Zamani. “Compositional Verification for Large-Scale Systems via Closure Certificates.” IEEE Control Systems Letters (to appear), 2024 (https://doi.org/10.1109/LCSYS.2024.3411508)

  • F. Galarza-Jimenez, V. Murali, and M. Zamani. “Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates.” The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.

  • M. Anand, V. Murali, A. Trivedi, and M. Zamani. “Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.” IEEE Transactions on Automatic Control (TAC) (to appear), 2024. (https://doi.org/10.1109/TAC.2024.3384448)

  • A Nadali, V. Murali, A. Trivedi, and M. Zamani. “Neural Closure Certificates.” Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 38(19), 21446-21453, 2024. (https://doi.org/10.1609/aaai.v38i19.30141)

  • V. Murali, A. Trivedi, and M. Zamani. “Closure Certificates.” Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Article No.: 10, Pages 1-11, 2024. (https://doi.org/10.1145/3641513.3650120)

  • V. Murali,S. Tasdighi Kalat, and M. Zamani. “A data-driven approach to approximate opacity verification.” 62nd IEEE Conference on Decision and Control (CDC), pp. 5085-5090, 2023. (https://doi.org/10.1109/CDC49753.2023.10384216)

  • V. Murali, A. Trivedi, and M. Zamani. “Restructuring Dynamical Systems for Inductive Verification.” IEEE Open Journal of Control Systems, vol. 2, pp. 200-207, 2023. (https://doi.org/10.1109/OJCSYS.2023.3294098)

  • 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. (https://doi.org/10.1109/LCSYS.2022.3184661)

  • V. Dave, S. Krishna, V. Murali, and A. Trivedi. “Optimal Repair for Omega-Regular Properties.” Automated Technology for Verification and Analysis (ATVA) 2002. (https://doi.org/10.1007/978-3-031-19992-9_23)

  • M. Anand, V. Murali, A. Trivedi, and M. Zamani. “k-Inductive Barrier Certificates for Stochastic Systems.” Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Article no.: 12, pp. 1-11, 2022. (https://doi.org/10.1145/3501710.3519532)

  • 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. (https://doi.org/10.1109/CDC45484.2021.9682889)