Our work on combining mixed-integer programming and reactive synthesis has been accepted to IROS 2025.