Ratan Lal

According to our database, Ratan Lal authored at least 15 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2021

Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying.

Ratan Lal, Pavithra Prabhakar

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Formally Verified Switching Logic for Recoverability of Aircraft Controller.

Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Bayesian Statistical Model Checking for Continuous Stochastic Logic.

Ratan Lal, Weikang Duan, Pavithra Prabhakar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 20th International Conference on Embedded Software, 2020

2019

Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.

Ratan Lal, Pavithra Prabhakar

ACM Trans. Embed. Comput. Syst., 2019

Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Automatic Trace Generation for Signal Temporal Logic.

Pavithra Prabhakar, Ratan Lal, James Kapinski

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Bounded Verification of Reachability of Probabilistic Hybrid Systems.

Ratan Lal, Pavithra Prabhakar

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017

Optimal multi-robot path planning for pesticide spraying in agricultural fields.

Ratan Lal, Ajay Sharda, Pavithra Prabhakar

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Safety analysis using compositional bounded error approximations of communicating hybrid systems.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Verification Techniques for Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

From non-zenoness verification to termination.

Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Bounded error flowpipe computation of parameterized linear systems.

Ratan Lal, Pavithra Prabhakar

Proceedings of the 2015 International Conference on Embedded Software, 2015