Login / Signup
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.
Logan Mathesen
Giulia Pedrielli
Georgios Fainekos
Published in:
CASE (2021)
Keyphrases
</>
efficient optimization
cyber physical systems
information systems
machine learning
real time
social networks
optimization methods
embedded systems
physical world
cyber physical