Login / Signup
BDD-based synthesis of extended burst-mode controllers.
Kenneth Y. Yun
Bill Lin
David L. Dill
Srinivas Devadas
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1998)
Keyphrases
</>
controller synthesis
databases
control system
evolutionary robotics
database systems
program synthesis
real world
image sequences
control algorithm
breadth first search