Login / Signup
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.
Stavros Tripakis
Karine Altisen
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
controller synthesis
artificial neural networks
machine learning
dynamic programming
computer systems