Fetching the paper…
Reading the bibliography…
Deep neural networks are known to be fragile to small adversarial perturbations.
M. A. Dahleh and J. B. Pearson, “ l 1 l_{1} -optimal feedback controllers for mimo discrete-time systems,” IEEE Transactions on Automatic Control
1987
Earlier work this paper cites.
M. Khammash and J. Pearson, “Performance robustness of discrete-time systems with structured uncertainty,” IEEE Transactions on Automatic Control
1991
Earlier work this paper cites.
A. Packard and J. Doyle, “The complex structured singular value,” Automatica
1993
Earlier work this paper cites.
Prentice hall New Jersey, 1996
K. Zhou, J. C. Doyle, and K. Glover, Robust and optimal control · 1996
Earlier work this paper cites.
Prentice-Hall, Inc., 1996
A. V. Oppenheim, A. S. Willsky, and S. H. Nawab, Signals & systems · 1996
Earlier work this paper cites.
V. Blondel and J. N. Tsitsiklis, “Np-hardness of some linear control design problems,” SIAM Journal on Control and Optimization
1997
Earlier work this paper cites.
Prentice hall Upper Saddle River, NJ, 2002
H. K. Khalil, Nonlinear systems · 2002
Earlier work this paper cites.
Princeton university press, 2010
K. J. Aström and R. M. Murray, Feedback systems: an introduction for scientists and engineers · 2010
Earlier work this paper cites.
2013
Earlier work this paper cites.
J. Garcıa and F. Fernández, “A comprehensive survey on safe reinforcement learning,” Journal of Machine Learning Research
2015
Earlier work this paper cites.
T. Zhang, G. Kahn, S. Levine, and P. Abbeel, “Learning deep control policies for autonomous aerial vehicles with mpc-guided policy search,” in 2016 IEEE international conference on robotics and automation (ICRA)
2016
Earlier work this paper cites.
G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba, “Openai gym,” 2016
2016
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Cited alongside, same era.
2017
Cited alongside, same era.
2017
Cited alongside, same era.
G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, “Reluplex: An efficient smt solver for verifying deep neural networks,” in International Conference on Computer Aided Verification
2017
Cited alongside, same era.
2018
Later among the works it cites.
2018
Later among the works it cites.
M. Jin and J. Lavaei, “Control-theoretic analysis of smoothness for stability-certified reinforcement learning,” in 2018 IEEE Conference on Decision and Control (CDC)
2018
Later among the works it cites.
A. Athalye, N. Carlini, and D. Wagner, “Obfuscated gradients give a false sense of security: Circumventing defenses to adversarial examples,” ICML
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
B. Kiumarsi, K. G. Vamvoudakis, H. Modares, and F. L. Lewis, “Optimal and autonomous control using reinforcement learning: A survey,” IEEE transactions on neural networks and learning systems
2017
Cited alongside, same era.
F. Berkenkamp, M. Turchetta, A. Schoellig, and A. Krause, “Safe model-based reinforcement learning with stability guarantees,” in Advances in neural information processing systems
2017
Cited alongside, same era.
2017
Cited alongside, same era.
2017
Cited alongside, same era.
J. Z. Kolter and E. Wong, “Provable defenses against adversarial examples via the convex outer adversarial polytope,” ICML
2018
Cited alongside, same era.
T.-W. Weng, H. Zhang, H. Chen, Z. Song, C.-J. Hsieh, D. Boning, I. S. Dhillon, and L. Daniel, “Towards fast computation of certified robustness for relu networks,” ICML
2018
Cited alongside, same era.
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev, “Ai2: Safety and robustness certification of neural networks with abstract interpretation,” in IEEE Symposium on Security and Privacy (SP)
2018
Cited alongside, same era.
K. Dvijotham, R. Stanforth, S. Gowal, T. Mann, and P. Kohli, “A dual approach to scalable verification of deep networks,” UAI
2018
Cited alongside, same era.
2018
Later among the works it cites.
A. Hill, A. Raffin, M. Ernestus, A. Gleave, R. Traore, P. Dhariwal, C. Hesse, O. Klimov, A. Nichol, M. Plappert, A. Radford, J. Schulman, S. Sidor, and Y. Wu, “Stable baselines.” https://github.com/hill-a/stable-baselines , 2018
2018
Later among the works it cites.
H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, and L. Daniel, “Efficient neural network robustness certification with general activation functions,” in NIPS
2018
Later among the works it cites.
A. Boopathy, T.-W. Weng, P.-Y. Chen, S. Liu, and L. Daniel, “Cnn-cert: An efficient framework for certifying robustness of convolutional neural networks,” in AAAI
2019
Closest in time.
2019
Closest in time.
R. Ivanov, J. Weimer, R. Alur, G. J. Pappas, and I. Lee, “Verisig: verifying safety properties of hybrid systems with neural network controllers,” in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
2019
Closest in time.
B. Recht, “A tour of reinforcement learning: The view from continuous control,” Annual Review of Control, Robotics, and Autonomous Systems
2019
Closest in time.