Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Finite-time Sample Complexity Analysis of Least Square Identifying Stochastic Switched Linear System.
Proceedings of the 62nd Annual Conference of the Society of Instrument and Control Engineers, 2023
Convergence of Gradient-based MAML in LQR.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Learning Certifiably Robust Controllers Using Fragile Perception.
CoRR, 2022
HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021
A 3D Modeling Framework for the Application of Unmanned Aircraft Systems Integration.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021
Optimistic Optimization for Statistical Model Checking with Regret Bounds.
CoRR, 2019
A Game Theoretical Framework for the Evaluation of Unmanned Aircraft Systems Airspace Integration Concepts.
CoRR, 2019
A 3D Game Theoretical Framework for the Evaluation of Unmanned Aircraft Systems Airspace Integration Concepts.
CoRR, 2018
Adaptive fuzzy neuro-observer applied to low cost INS/GPS.
Appl. Soft Comput., 2015