Login / Signup
Ratan Lal
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 15
Top Topics
Hybrid Systems
Black Box
Cl Pc
Safety Analysis
Top Venues
CDC
MEMOCODE
EMSOFT
ACM Trans. Embed. Comput. Syst.
</>
Publications
</>
Ratan Lal
,
Pavithra Prabhakar
Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers.
CDC
(2023)
Ratan Lal
,
Aaron McKinnis
,
Dustin Hauptman
,
Shawn Keshmiri
,
Pavithra Prabhakar
Formally Verified Switching Logic for Recoverability of Aircraft Controller.
CAV (1)
(2021)
Ratan Lal
,
Pavithra Prabhakar
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying.
ICRA
(2021)
Ratan Lal
,
Weikang Duan
,
Pavithra Prabhakar
Bayesian Statistical Model Checking for Continuous Stochastic Logic.
MEMOCODE
(2020)
Ratan Lal
,
Pavithra Prabhakar
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress.
EMSOFT
(2020)
Ratan Lal
,
Pavithra Prabhakar
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.
MEMOCODE
(2019)
Ratan Lal
,
Pavithra Prabhakar
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.
ACM Trans. Embed. Comput. Syst.
18 (5s) (2019)
Ratan Lal
,
Pavithra Prabhakar
Bounded Verification of Reachability of Probabilistic Hybrid Systems.
QEST
(2018)
Pavithra Prabhakar
,
Ratan Lal
,
James Kapinski
Automatic Trace Generation for Signal Temporal Logic.
RTSS
(2018)
Ratan Lal
,
Pavithra Prabhakar
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems.
Allerton
(2018)
Ratan Lal
,
Ajay Sharda
,
Pavithra Prabhakar
Optimal multi-robot path planning for pesticide spraying in agricultural fields.
CDC
(2017)
Ratan Lal
,
Pavithra Prabhakar
Safety analysis using compositional bounded error approximations of communicating hybrid systems.
CDC
(2017)
Pavithra Prabhakar
,
Miriam Garcia Soto
,
Ratan Lal
Verification Techniques for Hybrid Systems.
ISoLA (2)
(2016)
Ratan Lal
,
Pavithra Prabhakar
Bounded error flowpipe computation of parameterized linear systems.
EMSOFT
(2015)
Pierre Ganty
,
Samir Genaim
,
Ratan Lal
,
Pavithra Prabhakar
From non-zenoness verification to termination.
MEMOCODE
(2015)