Author:
Fremont Daniel J.,Chiu Johnathan,Margineantu Dragos D.,Osipychev Denis,Seshia Sanjit A.
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;T Dreossi,2019
2. Dreossi, T., Ghosh, S., Yue, X., Keutzer, K., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Counterexample-guided data augmentation. In: 27th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2071–2078, July 2018. https://doi.org/10.24963/ijcai.2018/286
3. Lecture Notes in Computer Science;T Dreossi,2018
4. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification, pp. 178–192. Springer, Berlin (2006)
5. Fremont, D.J., Chiu, J., Margineantu, D.D., Osipychev, D., Seshia, S.A.: Formal analysis and redesign of a neural network-based aircraft taxiing system with VerifAI (2020). https://arxiv.org/abs/2005.07173
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献