Cited By
View all- Mathesen LPedrielli GFainekos G(2021)Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49439.2021.9551474(732-737)Online publication date: 23-Aug-2021
- Mancini TMari FMassini AMelatti ISalvo ITronci E(2017)On minimising the maximum expected verification timeInformation Processing Letters10.1016/j.ipl.2017.02.001122:C(8-16)Online publication date: 1-Jun-2017