Sota Sato, Masaki Waga, Ichiro Hasuo: Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222