Login / Signup
Automating Elevator Design with Satisfiability Modulo Theories.
Stefano Demarchi
Marco Menapace
Armando Tacchella
Published in:
ICTAI (2019)
Keyphrases
</>
computational complexity
control system