1. M. Arjovsky , S. Chintala , and L. Bottou . 2017. Wasserstein generative adversarial networks . In Proceedings of the 34th International Conference on Machine Learning (Proceedings of Machine Learning Research , Vol. 70). PMLR, 214-- 223 . M. Arjovsky, S. Chintala, and L. Bottou. 2017. Wasserstein generative adversarial networks. In Proceedings of the 34th International Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 70). PMLR, 214--223.
2. A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
3. On Signal Temporal Logic
4. Frenetic at the SBST 2021 Tool Competition
5. A. Gambi , G. Jahangirova , V. Riccio , and F. Zampetti . 2022. SBST tool competition 2022 . In 15th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2022 . A. Gambi, G. Jahangirova, V. Riccio, and F. Zampetti. 2022. SBST tool competition 2022. In 15th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2022.