On Synthesizing Controllers from Bounded-Response Properties.

Oded Maler Dejan Nickovic Amir Pnueli

Published in: CAV (2007)

Keyphrases

real time
desirable properties
neural network
data mining
reinforcement learning
control system
structural properties