Author:
Aerts Arend,Tong Minh Bryan,Mousavi Mohammad Reza,Reniers Michel A.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Falsification using Reachability of Surrogate Koopman Models;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems;IEEE Access;2024
3. Temporal Logic Resilience for Cyber-Physical Systems;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13
4. Critical Concrete Scenario Generation Using Scenario-Based Falsification;2022 IEEE International Conference on Recent Advances in Systems Science and Engineering (RASSE);2022-11-07
5. Falsification-based Verification for Multi-Mode Spacecraft Attitude Control Systems;2021 American Control Conference (ACC);2021-05-25