Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Logan Mathesen' in GoogleThis author has not been identified. Look up 'Giulia Pedrielli' in GoogleThis author has not been identified. Look up 'Georgios Fainekos' in Google

runs on WebDSL