TY  - RPRT
TI  - Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
AU  - Sota Sato
AU  - Masaki Waga
AU  - Ichiro Hasuo
PY  - 2021
UR  - https://arxiv.org/abs/2012.00319
ID  - 2012.00319
ER  -