Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu 0001, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
The Marabou Framework for Verification and Analysis of Deep Neural Networks
CAV, 2019.
@inproceedings{CAV-2019-KatzHIJLLSTWZDK,
author = "Guy Katz and Derek A. Huang and Duligur Ibeling and Kyle Julian and Christopher Lazarus and Rachel Lim and Parth Shah and Shantanu Thakoor and Haoze Wu 0001 and Aleksandar Zeljic and David L. Dill and Mykel J. Kochenderfer and Clark W. Barrett",
booktitle = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-030-25540-4_26",
isbn = "['978-3-030-25539-8', '978-3-030-25540-4']",
pages = "443--452",
publisher = "{Springer}",
title = "{The Marabou Framework for Verification and Analysis of Deep Neural Networks}",
year = 2019,
}
Tags:
