Ratan Lal

17 papers A* 1A 1C 3Misc 2Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Coding Integrity Unveiled: Exploring the Pros and Cons of Detecting Plagiarism in Programming Assignments Using Copyleaks.
J. Comput. Sci. Coll.
Chandra Mouli Madhav Kotteti, Ratan Lal, Prasad Chetti
2024 — conf
Verification of Parametric Properties of Linear Discrete-time Stochastic Systems.
ADHS
Ratan Lal, Pavithra Prabhakar
2023 — conf
Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers.
CDC
Ratan Lal, Pavithra Prabhakar
2021 — conf
Formally Verified Switching Logic for Recoverability of Aircraft Controller.
CAV (1)
Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar
2021 A* conf
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying.
ICRA
Ratan Lal, Pavithra Prabhakar
2020 C conf
Bayesian Statistical Model Checking for Continuous Stochastic Logic.
MEMOCODE
Ratan Lal, Weikang Duan, Pavithra Prabhakar
2020 Misc conf
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress.
EMSOFT
Ratan Lal, Pavithra Prabhakar
2019 C conf
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.
MEMOCODE
Ratan Lal, Pavithra Prabhakar
2019 J jnl
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.
ACM Trans. Embed. Comput. Syst.
Ratan Lal, Pavithra Prabhakar
2018 A conf
Automatic Trace Generation for Signal Temporal Logic.
RTSS
Pavithra Prabhakar, Ratan Lal, James Kapinski
2018 — conf
Bounded Verification of Reachability of Probabilistic Hybrid Systems.
QEST
Ratan Lal, Pavithra Prabhakar
2018 — conf
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems.
Allerton
Ratan Lal, Pavithra Prabhakar
2017 — conf
Optimal multi-robot path planning for pesticide spraying in agricultural fields.
CDC
Ratan Lal, Ajay Sharda, Pavithra Prabhakar
2017 — conf
Safety analysis using compositional bounded error approximations of communicating hybrid systems.
CDC
Ratan Lal, Pavithra Prabhakar
2016 — conf
Verification Techniques for Hybrid Systems.
ISoLA (2)
Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal
2015 Misc conf
Bounded error flowpipe computation of parameterized linear systems.
EMSOFT
Ratan Lal, Pavithra Prabhakar
2015 C conf
From non-zenoness verification to termination.
MEMOCODE
Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar