%0 Conference Paper %1 conf/adhs/0001WH21 %A Sato, Sota %A Waga, Masaki %A Hasuo, Ichiro %B ADHS %D 2021 %E Jungers, Raphaël M. %E Ozay, Necmiye %E Abate, Alessandro %I Elsevier %K dblp %N 5 %P 217-222 %T Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. %U http://dblp.uni-trier.de/db/conf/adhs/adhs2021.html#0001WH21 %V 54

@inproceedings{conf/adhs/0001WH21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Sato, Sota and Waga, Masaki and Hasuo, Ichiro}, biburl = {https://www.bibsonomy.org/bibtex/24db31eb3eea54fb8baebb0272f1b6dd9/dblp}, booktitle = {ADHS}, crossref = {conf/adhs/2021}, editor = {Jungers, Raphaël M. and Ozay, Necmiye and Abate, Alessandro}, ee = {https://doi.org/10.1016/j.ifacol.2021.08.501}, interhash = {5d2d31335654422446de5abe8f421a6b}, intrahash = {4db31eb3eea54fb8baebb0272f1b6dd9}, keywords = {dblp}, number = 5, pages = {217-222}, publisher = {Elsevier}, series = {IFAC-PapersOnLine}, timestamp = {2024-05-13T10:07:02.000+0200}, title = {Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/adhs/adhs2021.html#0001WH21}, volume = 54, year = 2021 }