Faella, M.; Parlato, G. Reachability Games Modulo Theories With a Bounded Safety Player. AAAI 2023, 37, 6330-6337.