Fetching the paper…
Reading the bibliography…
Diffusion model-based approaches have shown promise in data-driven planning, but there are no safety guarantees, thus making it hard to be applied for safety-critical applications.
Über die lage der integralkurven gewöhnlicher differentialgleichungen
M. Nagumo · 1942
Earlier work this paper cites.
Nonlinear Systems
H. K. Khalil · 2002
Earlier work this paper cites.
Convex optimization
S. P. Boyd and L. Vandenberghe · 2004
Earlier work this paper cites.
Invariant approximations of the minimal robust positively invariant set
S. V. Rakovic, E. C. Kerrigan, K. I. Kouramas, and D. Q. Mayne · 2005
Earlier work this paper cites.
A framework for worst-case and stochastic safety verification using barrier certificates
S. Prajna, A. Jadbabaie, and G. J. Pappas · 2007
Earlier work this paper cites.
Constructive safety using control barrier functions
P. Wieland and F. Allgöwer · 2007
Earlier work this paper cites.
Viability theory
J.-P. Aubin · 2009
Earlier work this paper cites.
Converse barrier certificate theorem
R. Wisniewski and C. Sloth · 2013
Earlier work this paper cites.
Deep unsupervised learning using nonequilibrium thermodynamics
J. Sohl-Dickstein, E. Weiss, N. Maheswaranathan, and S. Ganguli · 2015
Earlier work this paper cites.
Openai gym, 2016
G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba · 2016
Earlier work this paper cites.
Exponential control barrier functions for enforcing high relative-degree safety-critical constraints
Q. Nguyen and K. Sreenath · 2016
Earlier work this paper cites.
Robust control invariant sets and lyapunov-based mpc for ipm synchronous motor drives
M. Preindl · 2016
Earlier work this paper cites.
Control barrier function based quadratic programs for safety critical systems
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada · 2017
Cited alongside, same era.
Optnet: Differentiable optimization as a layer in neural networks
B. Amos and J. Z. Kolter · 2017
Cited alongside, same era.
Nonsmooth barrier functions with applications to multi-robot systems
P. Glotfelter, J. Cortes, and M. Egerstedt · 2017
Cited alongside, same era.
Differentiable mpc for end-to-end planning and control
B. Amos, I. D. J. Rodriguez, J. Sacks, B. Boots, and J. Z. Kolter · 2018
Cited alongside, same era.
Control barrier functions for signal temporal logic tasks
L. Lindemann and D. V. Dimarogonas · 2018
Cited alongside, same era.
Learning deep neural network controllers for dynamical systems with safety guarantees: Invited paper
J. V. Deshmukh, J. P. Kapinski, T. Yamaguchi, and D. Prokhorov · 2019
Safe optimal control using stochastic barrier functions and deep forward-backward sdes
M. A. Pereira, Z. Wang, I. Exarchos, and E. A. Theodorou · 2020
Later among the works it cites.
Diffusion models beat gans on image synthesis
P. Dhariwal and A. Nichol · 2021
Later among the works it cites.
Offline reinforcement learning as one big sequence modeling problem
M. Janner, Q. Li, and S. Levine · 2021
Later among the works it cites.
Learning accurate long-term dynamics for model-based reinforcement learning
N. Lambert, A. Wilcox, H. Zhang, K. S. Pister, and R. Calandra · 2021
Later among the works it cites.
Vector quantized models for planning
S. Ozair, Y. Li, A. Razavi, I. Antonoglou, A. Van Den Oord, and O. Vinyals · 2021
Later among the works it cites.
Learning safe neural network controllers with barrier certificates
H. Zhao, X. Zeng, T. Chen, Z. Liu, and J. Woodcock · 2021
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Learning latent dynamics for planning from pixels
D. Hafner, T. Lillicrap, I. Fischer, R. Villegas, D. Ha, H. Lee, and J. Davidson · 2019
Cited alongside, same era.
Model-based reinforcement learning for atari
L. Kaiser, M. Babaeizadeh, P. Milos, B. Osinski, R. H. Campbell, K. Czechowski, D. Erhan, C. Finn, P. Kozakowski, S. Levine, et al · 2019
Cited alongside, same era.
Modeling the long term future in model-based reinforcement learning
N. R. Ke, A. Singh, A. Touati, A. Goyal, Y. Bengio, D. Parikh, and D. Batra · 2019
Cited alongside, same era.
Control barrier functions for systems with high relative degree
W. Xiao and C. Belta · 2019
Cited alongside, same era.
Shieldnn: A provably safe nn filter for unsafe nn controllers
J. Ferlez, M. Elnaggar, Y. Shoukry, and C. Fleming · 2020
Cited alongside, same era.
Denoising diffusion probabilistic models
J. Ho, A. Jain, and P. Abbeel · 2020
Cited alongside, same era.
Later among the works it cites.
Transdreamer: Reinforcement learning with transformer world models
C. Chen, Y.-F. Wu, J. Yoon, and S. Ahn · 2022
Later among the works it cites.
Mismatched no more: Joint model-policy optimization for model-based rl
B. Eysenbach, A. Khazatsky, S. Levine, and R. R. Salakhutdinov · 2022
Later among the works it cites.
Planning with diffusion for flexible behavior synthesis
M. Janner, Y. Du, J. Tenenbaum, and S. Levine · 2022
Later among the works it cites.
3d neural scene representations for visuomotor control
Y. Li, S. Li, V. Sitzmann, P. Agrawal, and A. Torralba · 2022
Later among the works it cites.
Photorealistic text-to-image diffusion models with deep language understanding
C. Saharia, W. Chan, S. Saxena, L. Li, J. Whang, E. L. Denton, K. Ghasemipour, R. Gontijo Lopes, B. Karagol Ayan, T. Salimans, et al · 2022
Later among the works it cites.
Audioldm: Text-to-audio generation with latent diffusion models
H. Liu, Z. Chen, Y. Yuan, X. Mei, X. Liu, D. Mandic, W. Wang, and M. D. Plumbley · 2023
Closest in time.