Fetching the paper…
Reading the bibliography…
Recent years have seen significant progress in the realm of robot autonomy, accompanied by the expanding reach of robotic technologies.
Isaacs R. 1954. Differential Games I: Introduction. Differential Games I
1954
Earlier work this paper cites.
Feldbaum AA. 1960. Dual control theory. i. Avtomatika i Telemekhanika
1960
Earlier work this paper cites.
Crandall MG, Lions PL. 1983. Viscosity solutions of hamilton-jacobi equations. Trans. American Mathematical Society
1983
Earlier work this paper cites.
Sontag ED. 1983. A lyapunov-like characterization of asymptotic controllability. SIAM journal on control and optimization
1983
Earlier work this paper cites.
Artstein Z. 1983. Stabilization with relaxed controls. Nonlinear Analysis: Theory, Methods & Applications
1983
Earlier work this paper cites.
Evans LC, Souganidis PE. 1984. Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations. Indiana University mathematics journal
1984
Earlier work this paper cites.
Sontag ED. 1989. A ’universal’ construction of artstein’s theorem on nonlinear stabilization. Systems & Control Letters
1989
Earlier work this paper cites.
Lygeros J, Tomlin C, Sastry S. 1999. Controllers for reachability specifications for hybrid systems. Automatica
1999
Earlier work this paper cites.
Blanchini F. 1999. Set invariance in control. Automatica
1999
Earlier work this paper cites.
Mayne D, Rawlings J, Rao C, Scokaert P. 2000. Constrained model predictive control: Stability and optimality. Automatica
2000
Earlier work this paper cites.
Patsko V, Turova V. 2001. Level sets of the value function in differential games with the homicidal chauffeur dynamics. Int. Game Theory Review
2001
Earlier work this paper cites.
Hansen EA, Bernstein DS, Zilberstein S. 2004. Dynamic programming for partially observable stochastic games
2004
Earlier work this paper cites.
Mitchell I, Bayen A, Tomlin C. 2005. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Automatic Control
2005
Earlier work this paper cites.
Mayne D, Seron M, Raković S. 2005. Robust model predictive control of constrained linear systems with bounded disturbances. Automatica
2005
Earlier work this paper cites.
Wieland P, Allgöwer F. 2007. Constructive safety using control barrier functions
2007
Earlier work this paper cites.
Trautman P, Krause A. 2010. Unfreezing the robot: Navigation in dense, interacting crowds
2010
Earlier work this paper cites.
Aubin JP, Bayen AM, Saint-Pierre P. 2011. Viability theory: new directions
2011
Earlier work this paper cites.
Bernardini D, Bemporad A. 2011. Stabilizing model predictive control of stochastic constrained linear systems. IEEE Trans. Automatic Control
2011
Earlier work this paper cites.
Mitchell IM, Kaynama S, Chen M, Oishi M. 2013. Safety preserving control synthesis for sampled data systems. Nonlinear Analysis: Hybrid Systems
2013
Earlier work this paper cites.
Ames AD, Grizzle JW, Tabuada P. 2014. Control Barrier Function Based Quadratic Programs with Application to Adaptive Cruise Control
2014
Earlier work this paper cites.
Althoff M, Dolan JM. 2014. Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robotics
2014
Earlier work this paper cites.
Akametalu AK, Fisac JF, Gillula JH, Kaynama S, Zeilinger MN, Tomlin CJ. 2014. Reachability-based safe learning with Gaussian processes
2014
Earlier work this paper cites.
Brechtel S, Gindele T, Dillmann R. 2014. Probabilistic decision-making under uncertainty for autonomous driving using continuous POMDPs
2014
Earlier work this paper cites.
Fisac JF, Chen M, Tomlin CJ, Sastry SS. 2015. Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints
2015
Earlier work this paper cites.
Schildbach G, Borrelli F. 2015. Scenario model predictive control for lane change assistance on highways
2015
Earlier work this paper cites.
Mesbah A. 2016. Stochastic model predictive control: An overview and perspectives for future research. IEEE Control Systems Magazine
2016
Earlier work this paper cites.
Farina M, Giulioni L, Scattolini R. 2016. Stochastic linear model predictive control with chance constraints–a review. Journal of Process Control
2016
Earlier work this paper cites.
Bansal S, Chen M, Herbert S, Tomlin CJ. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances
2017
Earlier work this paper cites.
Rosolia U, Borrelli F. 2017. Learning model predictive control for iterative tasks. a data-driven control framework. IEEE Trans. Automatic Control
2017
Earlier work this paper cites.
Ames AD, Xu X, Grizzle JW, Tabuada P. 2017. Control barrier function based quadratic programs for safety critical systems. IEEE Trans. Automatic Control
2017
Earlier work this paper cites.
Agrawal A, Sreenath K. 2017. Discrete Control Barrier Functions for Safety-Critical Control of Discrete Systems with Application to Bipedal Robot Navigation
2017
Earlier work this paper cites.
Xu X, Grizzle JW, Tabuada P, Ames AD. 2017. Correctness guarantees for the composition of lane keeping and adaptive cruise control. IEEE Trans. Automation Science and Engineering
2017
Earlier work this paper cites.
Kousik S, Vaskov S, Johnson-Roberson M, Vasudevan R. 2017. Safe trajectory synthesis for autonomous driving in unforeseen environments
2017
Earlier work this paper cites.
Singh S, Majumdar A, Slotine JJ, Pavone M. 2017. Robust online motion planning via contraction theory and convex optimization
2017
Earlier work this paper cites.
Villanueva ME, Quirynen R, Diehl M, Chachuat B, Houska B. 2017. Robust mpc via min–max differential inequalities. Automatica
2017
Earlier work this paper cites.
Berkenkamp F, Turchetta M, Schoellig A, Krause A. 2017. Safe model-based reinforcement learning with stability guarantees. Advances in Neural Information Processing Systems
2017
Earlier work this paper cites.
Chen M, Tomlin CJ. 2018. Hamilton-jacobi reachability: Some recent theoretical advances and applications in unmanned airspace management. Annual Review of Control, Robotics, and Autonomous Systems
2018
Earlier work this paper cites.
Rosolia U, Zhang X, Borrelli F. 2018. Data-driven predictive control for autonomous systems. Annual Review of Control, Robotics, and Autonomous Systems
2018
Earlier work this paper cites.
Mesbah A. 2018. Stochastic model predictive control with active uncertainty learning: A survey on dual control. Annual Reviews in Control
2018
Earlier work this paper cites.
Reuters. 2018. Waymo’s self driving minivans struggles to merge in left lane. Daily Mail
2018
Cited alongside, same era.
Board NTS. 2020. Collision between a sport utility vehicle operating with partial driving automation and a crash attenuator: Mountain view, california, march 23, 2018
2018
Cited alongside, same era.
Fraade-Blanar L, Blumenthal MS, Anderson JM, Kalra N. 2018. Measuring Automated Vehicle Safety: Forging a Framework
2018
Cited alongside, same era.
Wang L, Han D, Egerstedt M. 2018. Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares
2018
Cited alongside, same era.
Zhang H, Weng TW, Chen PY, Hsieh CJ, Daniel L. 2018. Efficient Neural Network Robustness Certification with General Activation Functions
2018
Cited alongside, same era.
Hsu KC, Rubies-Royo V, Tomlin CJ, Fisac JF. 2021. Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
2021
Later among the works it cites.
Fridovich-Keil D, Tomlin CJ. 2021. Approximate Solutions to a Class of Reachability Games
2021
Later among the works it cites.
Lyu Y, Luo W, Dolan JM. 2021. Probabilistic safety-assured adaptive merging control for autonomous vehicles
2021
Later among the works it cites.
Lindemann L, Hu H, Robey A, Zhang H, Dimarogonas D, et al. 2021. Learning hybrid control barrier functions from data
2021
Later among the works it cites.
Robey A, Lindemann L, Tu S, Matni N. 2021. Learning robust hybrid control barrier functions for uncertain systems. IFAC-PapersOnLine
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Hu H, Feng X, Quirynen R, Villanueva ME, Houska B. 2018. Real-time tube MPC applied to a 10-state quadrotor model
2018
Cited alongside, same era.
Wabersich KP, Zeilinger MN. 2018. Linear model predictive safety certification for learning-based control
2018
Cited alongside, same era.
Fisac J, Bajcsy A, Herbert S, Fridovich-Keil D, Wang S, et al. 2018. Probabilistically Safe Robot Planning with Confidence-Based Human Predictions
2018
Cited alongside, same era.
Ames AD, Coogan S, Egerstedt M, Notomista G, Sreenath K, Tabuada P. 2019. Control Barrier Functions: Theory and Applications
2019
Cited alongside, same era.
Herbert SL, Bansal S, Ghosh S, Tomlin CJ. 2019. Reachability-Based Safety Guarantees using Efficient Initializations
2019
Cited alongside, same era.
Fisac JF, Lugovoy NF, Rubies-Royo V, Ghosh S, Tomlin CJ. 2019. Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning
2019
Cited alongside, same era.
Rubies-Royo V, Fridovich-Keil D, Herbert S, Tomlin CJ. 2019. A Classification-based Approach for Approximate Reachability
2019
Cited alongside, same era.
Bastani O. 2021. Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding
2021
Later among the works it cites.
Althoff M, Frehse G, Girard A. 2021. Set propagation techniques for reachability analysis. Annual Review of Control, Robotics, and Autonomous Systems
2021
Later among the works it cites.
Everett M, Habibi G, Sun C, How JP. 2021. Reachability analysis of neural feedback loops. IEEE Access
2021
Later among the works it cites.
Bastani O, Li S. 2021. Safe Reinforcement Learning via Statistical Model Predictive Shielding
2021
Later among the works it cites.
Thananjeyan B, Balakrishna A, Nair S, Luo M, Srinivasan K, et al. 2021. Recovery RL: Safe Reinforcement Learning With Learned Recovery Zones. IEEE Robotics and Automation Letters
2021
Later among the works it cites.
Bharadhwaj H, Kumar A, Rhinehart N, Levine S, Shkurti F, Garg A. 2021. Conservative Safety Critics for Exploration
2021
Later among the works it cites.
Tian R, Sun L, Tomizuka M, Isele D. 2021. Anytime game-theoretic planning with active reasoning about humans’ latent states for human-centered robots
2021
Later among the works it cites.
Zhang Z, Fisac JF. 2021. Safe Occlusion-Aware Autonomous Driving via Game-Theoretic Active Perception
2021
Later among the works it cites.
Choi JJ, Lee D, Sreenath K, Tomlin CJ, Herbert SL. 2021. Robust Control Barrier-Value Functions for Safety-Critical Control
2021
Later among the works it cites.
Brunke L, Greeff M, Hall AW, Yuan Z, Zhou S, et al. 2022. Safe learning in robotics: From learning-based control to safe reinforcement learning. Annual Review of Control, Robotics, and Autonomous Systems
2022
Later among the works it cites.
Sunberg Z, Kochenderfer MJ. 2022. Improving automated driving through pomdp planning with human internal states. IEEE Trans. Intelligent Transportation Systems
2022
Later among the works it cites.
Hu H, Fisac JF. 2022. Active uncertainty reduction for human-robot interaction: An implicit dual control approach
2022
Later among the works it cites.
Schwartz E. 2022. Elon musk’s crash course. The New York Times
2022
Later among the works it cites.
Anthony DR, Nguyen DP, Fridovich-Keil D, Fisac JF. 2022. Back to the Future: Efficient, Time-Consistent Solutions in Reach-Avoid Games
2022
Later among the works it cites.
Cosner RK, Rodriguez IDJ, Molnar TG, Ubellacker W, Yue Y, et al. 2022. Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision
2022
Later among the works it cites.
Alan A, Taylor AJ, He CR, Orosz G, Ames AD. 2022. Safe Controller Synthesis With Tunable Input-to-State Safe Control Barrier Functions. IEEE Control Systems Letters
2022
Later among the works it cites.
Wabersich KP, Hewing L, Carron A, Zeilinger MN. 2022. Probabilistic model predictive safety certification for learning-based control. IEEE Trans. Automatic Control
2022
Later among the works it cites.
Li J, Lee D, Sojoudi S, Tomlin CJ. 2022. Infinite-horizon reach-avoid zero-sum games via deep reinforcement learning
2022
Later among the works it cites.
Dawson C, Qin Z, Gao S, Fan C. 2022. Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
2022
Later among the works it cites.
Tian R, Sun L, Bajcsy A, Tomizuka M, Dragan AD. 2022. Safety Assurances for Human-Robot Interaction via Confidence-aware Game-theoretic Human Models
2022
Later among the works it cites.
Hu H, Nakamura K, Fisac JF. 2022. SHARP: Shielding-aware robust planning for safe and efficient human-robot interaction. IEEE Robotics and Automation Letters
2022
Later among the works it cites.
Tonkens S, Herbert S. 2022. Refining Control Barrier Functions through Hamilton-Jacobi Reachability
2022
Later among the works it cites.
Hsu KC, Nguyen DP, Fisac JF. 2023. ISAACS: Iterative Soft Adversarial Actor-Critic for Safety
2023
Closest in time.
Dawson C, Gao S, Fan C. 2023. Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control. IEEE Trans. Robotics
2023
Closest in time.
Hsu KC, Ren AZ, Nguyen DP, Majumdar A, Fisac JF. 2023. Sim-to-lab-to-real: Safe reinforcement learning with shielding and generalization guarantees. Artificial Intelligence
2023
Closest in time.
Borquez J, Nakamura K, Bansal S. 2023. Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
2023
Closest in time.
Lin A, Bansal S. 2023. Generating Formal Safety Assurances for High-Dimensional Reachability
2023
Closest in time.
So O, Fan C. 2023. Solving stabilize-avoid optimal control via epigraph form and deep reinforcement learning
2023
Closest in time.
Nakamura K, Bansal S. 2023. Online Update of Safety Assurances Using Confidence-Based Predictions
2023
Closest in time.
Hu H, Zhang Z, Nakamura K, Bajcsy AV, Fisac JF. 2023, to appear. Learning-Aware Safety for Interactive Autonomy
2023
Closest in time.
Packer C, Rhinehart N, McAllister RT, Wright MA, Wang X, et al. 2023. Is Anyone There? Learning a Planner Contingent on Perceptual Uncertainty
2023
Closest in time.
Ramesh Kumar A, Hsu KC, Ramadge PJ, Fisac JF. 2023. Fast, smooth, and safe: Implicit control barrier functions through reach-avoid differential dynamic programming. IEEE Control Systems Letters
2023
Closest in time.
Bouton M, Nakhaei A, Fujimura K, Kochenderfer MJ. 2018. Scalable decision making with sensor occlusions for autonomous driving
2081
Closest in time.