More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Ratan Lal

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LalP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LalP23
Ratan Lal, Pavithra Prabhakar:
Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers. CDC 2023: 8006-8011
2021
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LalMHKP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LalMHKP21
Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar:
Formally Verified Switching Logic for Recoverability of Aircraft Controller. CAV (1) 2021: 566-579
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LalP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LalP21
Ratan Lal, Pavithra Prabhakar:
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. ICRA 2021: 7965-7971
2020
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/LalP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/LalP20
Ratan Lal, Pavithra Prabhakar:
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. EMSOFT 2020: 34-36
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LalDP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LalDP20
Ratan Lal, Weikang Duan, Pavithra Prabhakar:
Bayesian Statistical Model Checking for Continuous Stochastic Logic. MEMOCODE 2020: 1-11

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/LalP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/LalP19
Ratan Lal, Pavithra Prabhakar:
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 98:1-98:23 (2019)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LalP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LalP19
Ratan Lal, Pavithra Prabhakar:
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE 2019: 12:1-12:5
2018
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/LalP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/LalP18
Ratan Lal, Pavithra Prabhakar:
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. Allerton 2018: 848-855
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/LalP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/LalP18
Ratan Lal, Pavithra Prabhakar:
Bounded Verification of Reachability of Probabilistic Hybrid Systems. QEST 2018: 240-256
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/PrabhakarLK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/PrabhakarLK18
Pavithra Prabhakar, Ratan Lal, James Kapinski:
Automatic Trace Generation for Signal Temporal Logic. RTSS 2018: 208-217
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LalP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LalP17
Ratan Lal, Pavithra Prabhakar:
Safety analysis using compositional bounded error approximations of communicating hybrid systems. CDC 2017: 2378-2383
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LalSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LalSP17
Ratan Lal, Ajay Sharda, Pavithra Prabhakar:
Optimal multi-robot path planning for pesticide spraying in agricultural fields. CDC 2017: 5815-5820
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Prabhakar16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Prabhakar16
Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal:
Verification Techniques for Hybrid Systems. ISoLA (2) 2016: 833-842
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/LalP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/LalP15
Ratan Lal, Pavithra Prabhakar:
Bounded error flowpipe computation of parameterized linear systems. EMSOFT 2015: 237-246
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/GantyGLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/GantyGLP15
Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar:
From non-zenoness verification to termination. MEMOCODE 2015: 228-237

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.