Login / Signup
Systematic top-down design of cyber-physical models with integrated validation and formal verification.
Christoph Luckeneder
Hermann Kaindl
Published in:
ICSE (Companion Volume) (2018)
Keyphrases
</>
formal verification
physical models
model checking
shape from shading
computer vision
control system
closed loop
temporal logic
model checker
symbolic model checking
automated verification