M. Faella and G. Parlato, “Reachability Games Modulo Theories with a Bounded Safety Player”, AAAI, vol. 37, no. 5, pp. 6330-6337, Jun. 2023.