Login / Signup

Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.

Logan MathesenGiulia PedrielliGeorgios 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