Faella, M., and G. Parlato. “Reachability Games Modulo Theories With a Bounded Safety Player”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 5, June 2023, pp. 6330-7, doi:10.1609/aaai.v37i5.25779.