共 50 条
- [1] Online Passive Learning of Timed Automata for Cyber-Physical Production Systems 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 60 - 66
- [2] Active learning of formal plant models for cyber-physical systems 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2018, : 719 - 724
- [3] Collaborative Learning with Cyber-physical systems PROCEEDINGS OF 2015 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2015, : 184 - 188
- [4] INTERPRETABLE MACHINE LEARNING USING SWITCHED LINEAR MODELS FOR SECURITY OF CYBER-PHYSICAL SYSTEMS 2020 INTEGRATED COMMUNICATIONS NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2020,
- [6] Robust Testing for Cyber-Physical Systems using Reinforcement Learning 2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 36 - 46
- [9] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning FORMAL METHODS, 2018, 10951 : 456 - 465