共 50 条
- [41] Falsification of Cyber-Physical Systems Through Multi-Fidelity Stochastic Optimization PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON SYMBOLIC-NUMERIC METHODS FOR REASONING ABOUT CPS AND IOT (SNR 2019), 2019, : 22 - 23
- [43] Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements 2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 732 - 737
- [45] Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
- [50] One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems GENETIC PROGRAMMING (EUROGP 2022), 2022, : 34 - 50