CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)
NeurIPS
Advances in Neural Information Processing Systems 34 (NeurIPS 2021)Thirty-fifth Conference on Neural Information Processing Systems
IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021
ATVA
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, ProceedingsATVA 2021
ICLR
International Conference on Learning RepresentationsThe Ninth International Conference on Learning Representations
CAV
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
International Journal on Software Tools for Technology Transfer