共 50 条
- [42] Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements [J]. 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 [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
- [48] One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems [J]. GENETIC PROGRAMMING (EUROGP 2022), 2022, : 34 - 50
- [49] Spatio-Temporal Event Model for Cyber-Physical Systems [J]. ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 44 - 50
- [50] Spatio-Temporal UML Statechart For Cyber-Physical Systems [J]. 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 137 - 146