Logan Mathesen, Giulia Pedrielli, Georgios Fainekos. Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 732-737, IEEE, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.