Author:
Carpenter Taylor J.,Ivanov Radoslav,Lee Insup,Weimer James
Subject
Control and Systems Engineering
Reference17 articles.
1. Borchers, S., Rumschinski, P., Bosio, S., Weismantel, R., and Findeisen, R. (2009). A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems. In Proceedings of the 48th IEEE Conference on Decision and Control.
2. Chen, X., Ábrahám, E., and Sankaranarayanan, S. (2013). Flow*: An analyzer for non-linear hybrid systems. In International Conference on Computer Aided Verification.
3. Fazlyab, M., Robey, A., Hassani, H., Morari, M., and Pappas, G.J. (2019). Efficient and accurate estimation of lipschitz constants for deep neural networks. In Advances in Neural Information Processing Systems.
4. Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., and Seshia, S.A. (2019). Scenic: A language for scenario specification and scene generation. In Proceedings of the 40th annual ACM SIGPLAN conference on Programming Language Design and Implementation.
5. Regularisation of neural networks by enforcing Lipschitz continuity;Gouk;Machine Learning,2020
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献