RATAN LAL

Employment

• Kansas State University Postdoc
  2021 - 2021
• Northwest Missouri State University Assistant Professor

Education

• Kansas State University Ph.D.
  2016 - 2021

Projects & Funding

Projects & funding information is unavailable.

Publications (17)

• Influence of random telegraph noise on quantum bit gate operation
  Journal of Applied Physics 2023 2 citations DOI: 10.1063/5.0147810
  +Save
• Influence of Random Telegraph Noise on Quantum Bit Gate Operation
  arXiv 2022 0 citations DOI: 10.48550/arXiv.2211.04663
  +Save
• Formally Verified Switching Logic for Recoverability of Aircraft Controller
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2021 1 citation DOI: 10.1007/978-3-030-81685-8_27
  +Save
• Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying
  Proceedings - IEEE International Conference on Robotics and Automation 2021 11 citations DOI: 10.1109/ICRA48506.2021.9561972
  +Save
• Bayesian Statistical Model Checking for Continuous Stochastic Logic
  2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020 2020 1 citation DOI: 10.1109/MEMOCODE51338.2020.9315001
  +Save
• Flight test validation of a safety-critical neural network based longitudinal controller for a fixed-wing uas
  AIAA AVIATION 2020 FORUM 2020 11 citations DOI: 10.2514/6.2020-3093
  +Save
• Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress
  Proceedings of the 2020 International Conference on Embedded Software, EMSOFT 2020 2020 0 citations DOI: 10.1109/EMSOFT51651.2020.9244026
  +Save
• Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
  MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design 2019 4 citations DOI: 10.1145/3359986.3361210
  +Save
• Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems
  2018 56th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2018 2019 8 citations DOI: 10.1109/ALLERTON.2018.8635976
  +Save
• Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems
  ACM Transactions on Embedded Computing Systems 2019 11 citations DOI: 10.1145/3358217
  +Save