Login / Signup
Model Checker Aided Design of a Controller for a Wafer Scanner.
Martijn Hendriks
Barend van den Nieuwelaar
Frits W. Vaandrager
Published in:
ISoLA (Preliminary proceedings) (2004)
Keyphrases
</>
formal verification
model checking
case study
building blocks
formal methods
model checker
image analysis
neural network
image processing
reinforcement learning
design process
temporal logic
planning domains