FM2021Top-tier venue
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
2021Year
1Citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 1732afcb-a621-4f56-9fce-c8a098403870Related papers
- Gaussian Process-Based Confidence Estimation for Hybrid System FalsificationZhenya Zhang, Paolo ArcainiFM 2021 · 7 citations
- 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 et al.CAV 2021 · 39 citations
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 17 citations
- QSYM : A Practical Concolic Execution Engine Tailored for Hybrid FuzzingInsu Yun, Sangho Lee, Meng Xu, Yeongjin Jang et al.USENIX Security 2018 · 537 citations
