Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
2021年份
1被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Gaussian Process-Based Confidence Estimation for Hybrid System FalsificationZhenya Zhang, Paolo ArcainiFM 2021 · 被引用 7 次
- Parametric Falsification of Many Probabilistic Requirements Under FlakinessMatteo Camilli, Raffaela MirandolaICSE 2025
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-RobustnessZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 等CAV 2021 · 被引用 39 次
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- QSYM : A Practical Concolic Execution Engine Tailored for Hybrid FuzzingInsu Yun, Sangho Lee, Meng Xu, Yeongjin Jang 等USENIX Security 2018 · 被引用 537 次
