-
Ratan Lal and Pavithra Prabhakar
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying
International Conference on Robotics and Automation (ICRA), 2021 -
Ratan Lal, Weikang Duan, and Pavithra Prabhakar
Bayesian Statistical Model Checking for Continuous Stochastic Logic
ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020 -
Ratan Lal and Pavithra Prabhakar
Safety Analysis of Linear Discrete-time Stochastic Systems
International Conference on Embedded Software (EMSOFT) (WIP), 2020 -
Daksh Shukla, Ratan Lal, Dustin Hauptman, Shawn S. Keshmiri, Pavithra Prabhakar and Nicole Beckage
Flight Test Validation of a Safety-Critical Neural Network Based Longitudinal Controller for a Fixed-Wing UAS
AIAA AVIATION, 2020 -
Ratan Lal and Pavithra Prabhakar
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019 -
Ratan Lal and Pavithra Prabhakar
Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems
ACM Transactions on Embedded Computing Systems (TECS), Accepted at EMSOFT, 2019 -
Pavithra Prabhakar, Ratan Lal and James Kapinski
Automatic Trace Generation for Signal Temporal Logic
39th IEEE Real-Time Systems Symposium (RTSS), 2018 -
Ratan Lal and Pavithra Prabhakar
Bounded Verification of Reachability of Probabilistic Hybrid Systems
International Conference on Quantitative Evaluation of Systems (QEST), 2018 -
Ratan Lal and Pavithra Prabhakar
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems
Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2018 -
Ratan Lal and Pavithra Prabhakar
Safety Analysis using Compositional Bounded Error Approximations of Communicating Hybrid Systems
IEEE Conference on Decision and Control (CDC), 2017 -
Ratan Lal, Ajay Sharda and Pavithra Prabhakar
Optimal Multi-robot Path Planning for Pesticide Spraying in Agricultural Fields
IEEE Conference on Decision and Control (CDC), 2017 -
Pavithra Prabhakar, Miriam Garcia Soto and Ratan Lal
Verification Techniques for Hybrid Systems
International Symposium, ISoLA 2016 -
Pierre Ganty, Samir Genaim, Ratan Lal and Pavithra Prabhakar
From Non-Zenoness Verification to Termination (best paper award)
ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2015 -
Ratan Lal and Pavithra Prabhakar
Bounded error flowpipe computation of parameterized linear systems
International Conference on Embedded Software (EMSOFT), 2015