Chelsea Sidrane

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning	2024	A. Kiessling Ignacio Torroba Chelsea Sidrane Ivan Stenius Jana Tůmová John Folkesson
+ PDF Chat	TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems	2024	Chelsea Sidrane Jana Tůmová
+ PDF Chat	Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems	2023	Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How
+	Verifying Inverse Model Neural Networks	2022	Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer
+	Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems	2022	Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How
+	OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.	2021	Chelsea Sidrane Amir Maleki Ahmed Irfan Mykel J. Kochenderfer
+	OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems	2021	Chelsea Sidrane Amir Maleki Ahmed Irfan Mykel J. Kochenderfer
+ PDF Chat	HG-DAgger: Interactive Imitation Learning with Human Experts	2019	Michael A. Kelly Chelsea Sidrane Katherine Driggs-Campbell Mykel J. Kochenderfer
+	Machine Learning for Generalizable Prediction of Flood Susceptibility	2019	Chelsea Sidrane Dylan Fitzpatrick Andrew M. Annex Diane O’Donoghue Yarin Gal Piotr Biliński
+	HG-DAgger: Interactive Imitation Learning with Human Experts	2018	Michael A. Kelly Chelsea Sidrane Katherine Driggs-Campbell Mykel J. Kochenderfer
+	HG-DAgger: Interactive Imitation Learning with Human Experts	2018	Michael Kelly Chelsea Sidrane Katherine Driggs-Campbell Mykel J. Kochenderfer

Common Coauthors

Coauthor	Papers Together
Mykel J. Kochenderfer	8
Katherine Driggs-Campbell	3
Sydney M. Katz	3
Jana Tůmová	2
Ahmed Irfan	2
Amir Maleki	2
Jonathan P. How	2
Esen Yel	2
Michael Everett	2
Nicholas Rober	2
Michael A. Kelly	2
Andrew M. Annex	1
Diane O’Donoghue	1
Anthony Corso	1
A. Kiessling	1
John Folkesson	1
Ivan Stenius	1
Ignacio Torroba	1
Michael Kelly	1
Yarin Gal	1
Piotr Biliński	1
Dylan Fitzpatrick	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	End to End Learning for Self-Driving Cars	2016	Mariusz Bojarski Davide Del Testa Daniel Dworakowski Bernhard Firner Beat Flepp Prasoon Goyal Lawrence D. Jackel Mathew Monfort Urs Müller Jiakai Zhang	3
+ PDF Chat	Interactive Policy Learning through Confidence-Based Autonomy	2009	Sonia Chernova Manuela Veloso	2
+ PDF Chat	Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks	2017	Guy Katz Clark Barrett David L. Dill Kyle D. Julian Mykel J. Kochenderfer	2
+	On a measure of divergence between two statistical populations defined by their probability distributions	1943	Ayan Bhattacharyya	2
+	Agile Off-Road Autonomous Driving Using End-to-End Deep Imitation Learning.	2017	Yunpeng Pan Ching-An Cheng Kamil Saigol Keuntaek Lee Xinyan Yan Evangelos A. Theodorou Byron Boots	2
+	Multiple Lyapunov functions and other analysis tools for switched and hybrid systems	1998	Michael S. Branicky	2
+	Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles	2016	Balaji Lakshminarayanan Alexander Pritzel Charles Blundell	2
+	EnsembleDAgger: A Bayesian Approach to Safe Imitation Learning	2018	Kunal Menda Katherine Driggs-Campbell Mykel J. Kochenderfer	2
+ PDF Chat	Comparing human-centric and robot-centric sampling for robot deep learning from demonstrations	2017	Michael Laskey Caleb Chuck Jonathan Lee Jeffrey Mahler Sanjay Krishnan Kevin Jamieson Anca D. Dragan Ken Goldberg	2
+ PDF Chat	Accelerating Reinforcement Learning through Implicit Imitation	2003	Blaine Price Craig Boutilier	2
+	Output Reachable Set Estimation and Verification for Multilayer Neural Networks	2018	Weiming Xiang Hoang-Dung Tran Taylor T. Johnson	1
+	Adversarial Examples: Attacks and Defenses for Deep Learning	2019	Xiaoyong Yuan Pan He Qile Zhu Xiaolin Li	1
+	Sim-to-Real: Learning Agile Locomotion For Quadruped Robots	2018	Jie Tan Tingnan Zhang Erwin Coumans Atıl Işçen Yunfei Bai Danijar Hafner Steven Bohez Vincent Vanhoucke	1
+	Towards Fast Computation of Certified Robustness for ReLU Networks	2018	Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho‐Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel	1
+ PDF Chat	Adversarial Examples in the Physical World	2018	Alexey Kurakin Ian Goodfellow Samy Bengio	1
+	Formal Security Analysis of Neural Networks using Symbolic Intervals	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	1
+ PDF Chat	Hamilton-Jacobi reachability: A brief overview and recent advances	2017	Somil Bansal Mo Chen Sylvia Herbert Claire J. Tomlin	1
+ PDF Chat	Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods	2017	Joseph D. Gleason Abraham P. Vinod Meeko Oishi	1
+ PDF Chat	HG-DAgger: Interactive Imitation Learning with Human Experts	2019	Michael A. Kelly Chelsea Sidrane Katherine Driggs-Campbell Mykel J. Kochenderfer	1
+	Neural Lyapunov Control	2020	Ya-Chien Chang Nima Roohi Sicun Gao	1
+ PDF Chat	EnsembleDAgger: A Bayesian Approach to Safe Imitation Learning	2019	Kunal Menda Katherine Driggs-Campbell Mykel J. Kochenderfer	1
+	A Survey of Algorithms for Black-Box Safety Validation.	2020	Anthony Corso Robert J. Moss Mark Koren Ritchie Lee Mykel J. Kochenderfer	1
+ PDF Chat	Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach	2020	Weiming Xiang Hoang-Dung Tran Xiaodong Yang Taylor T. Johnson	1
+ PDF Chat	Actor-Critic Reinforcement Learning for Control With Stability Guarantee	2020	Minghao Han Lixian Zhang Jun Wang Wei Pan	1
+	Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond	2020	Kaidi Xu Zhouxing Shi Huan Zhang Yihan Wang Kai-Wei Chang Minlie Huang Bhavya Kailkhura Xue Lin Cho‐Jui Hsieh	1
+	XGBoost	2016	Tianqi Chen Carlos Guestrin	1
+ PDF Chat	Learning quadrupedal locomotion over challenging terrain	2020	Joonho Lee Jemin Hwangbo Lorenz Wellhausen Vladlen Koltun Marco Hutter	1
+	Learning Certified Control using Contraction Metric	2020	Dawei Sun Susmit Jha Chuchu Fan	1
+ PDF Chat	Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming	2020	Haimin Hu Mahyar Fazlyab Manfred Morari George J. Pappas	1
+	Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates	2021	Zengyi Qin Kaiqing Zhang Yuxiao Chen Jingkai Chen Chuchu Fan	1
+	Lyapunov-stable neural-network control	2021	Hongkai Dai Benoit Landry Lujie Yang Marco Pavone Russ Tedrake	1
+ PDF Chat	Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components	2021	Joseph A. Vincent Mac Schwager	1
+ PDF Chat	Verifying Low-Dimensional Input Neural Networks via Input Quantization	2021	Kai Jia Martin Rinard	1
+ PDF Chat	Reachability Analysis of Neural Feedback Loops	2021	Michael Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How	1
+ PDF Chat	Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability	2022	Stanley Bak Hoang-Dung Tran	1
+	Semidefinite relaxations for certifying robustness to adversarial examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	1
+	Analyzing Inverse Problems with Invertible Neural Networks	2018	Lynton Ardizzone Jakob Kruse Sebastian Wirkert Daniel Rahner E. Pellegrini Ralf S. Klessen Klaus H. Maier‐Hein Carsten Rother Ullrich Köthe	1
+	CVXPY: A Python-Embedded Modeling Language for Convex Optimization	2016	Steven Diamond Stephen Boyd	1
+	Evaluating Robustness of Neural Networks with Mixed Integer Programming	2017	Vincent Tjeng Kai Xiao Russ Tedrake	1
+	Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes	2022	Taha Entesari Mahyar Fazlyab	1
+	OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems	2021	Chelsea Sidrane Amir Maleki Ahmed Irfan Mykel J. Kochenderfer	1
+ PDF Chat	Backward Reachability Analysis for Neural Feedback Loops	2022	Nicholas Rober Michael Everett Jonathan P. How	1
+ PDF Chat	DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops	2023	Michael Everett Rudy Bunel Shayegan Omidshafiei	1
+ PDF Chat	Delving Deep into Rectifiers: Surpassing Human-Level Performance on ImageNet Classification	2015	Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun	1
+ PDF Chat	One-Shot Reachability Analysis of Neural Network Dynamical Systems	2023	Shaoru Chen Víctor M. Preciado Mahyar Fazlyab	1
+ PDF Chat	DeepDriving: Learning Affordance for Direct Perception in Autonomous Driving	2015	Chenyi Chen Ari Seff Alain L. Kornhauser Jianxiong Xiao	1
+ PDF Chat	The Limitations of Deep Learning in Adversarial Settings	2016	Nicolas Papernot Patrick McDaniel Somesh Jha Matt Fredrikson Z. Berkay Celik Ananthram Swami	1
+	Query-Efficient Imitation Learning for End-to-End Autonomous Driving	2016	Jiakai Zhang Kyunghyun Cho	1
+ PDF Chat	Deep reinforcement learning for robotic manipulation with asynchronous off-policy updates	2017	Shixiang Gu Ethan Holly Timothy Lillicrap Sergey Levine	1
+ PDF Chat	Rainfall–runoff modelling using Long Short-Term Memory (LSTM) networks	2018	Frederik Kratzert Daniel Klotz Claire Brenner Karsten Schulz Mathew Herrnegger	1