| Hg-dagger: Interactive imitation learning with human experts M Kelly, C Sidrane, K Driggs-Campbell, MJ Kochenderfer 2019 International Conference on Robotics and Automation (ICRA), 8077-8083, 2019 | 207 | 2019 |
| OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems C Sidrane, A Maleki, A Irfan, MJ Kochenderfer Journal of Machine Learning Research 23, 1--45, 2021 | 56 | 2021 |
| ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants TT Johnson, D Manzanas Lopez, P Musau, HD Tran, E Botoeva, ... EPiC Series in Computing 74, 2020 | 37 | 2020 |
| Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems N Rober, SM Katz, C Sidrane, E Yel, M Everett, MJ Kochenderfer, JP How IEEE Open Journal of Control Systems, 2023 | 22 | 2023 |
| OVERT: Verification of nonlinear dynamical systems with neural network controllers via overapproximation C Sidrane, MJ Kochenderfer Safe Machine Learning workshop at ICLR, 2019 | 13 | 2019 |
| Machine Learning for Generalizable Prediction of Flood Susceptibility C Sidrane, DJ Fitzpatrick, A Annex, D O'Donoghue, Y Gal, P Biliński arXiv preprint arXiv:1910.06521, 2019 | 8 | 2019 |
| Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals C Sidrane, MJ Kochenderfer 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 4 | 2018 |
| Verifying Inverse Model Neural Networks C Sidrane, S Katz, A Corso, MJ Kochenderfer arXiv preprint arXiv:2202.02429, 2022 | 2 | 2022 |
| Safety assurance for systems with machine learning components C Sidrane Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 15734 …, 2021 | 2 | 2021 |
| TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems C Sidrane, J Tumova arXiv preprint arXiv:2407.14394, 2024 | 1 | 2024 |
| Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning A Kiessling, I Torroba, CR Sidrane, I Stenius, J Tumova, J Folkesson arXiv preprint arXiv:2410.15720, 2024 | | 2024 |
| Neural Network Verification for Nonlinear Systems CR Sidrane Stanford University, 2022 | | 2022 |
| HG-DAgger: Interactive Imitation Learning with Human Experts MJK Michael Kelly, Chelsea Sidrane, Katherine Driggs-Campbell https://arxiv.org/abs/1810.02890, 2018 | | 2018 |
| Teach me to Tango: Fidelity Estimation of Visual Odometry Systems for Robust Navigation S Jorgensen, N Iyer, C Sidrane | | |
| ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants EB Tran, F Leofante, A Maleki, C Sidrane, J Fan, C Huang | | |
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
