Synthesis of reactive controllers for hybrid systems (keynote).

Richard M. Murray

Published in: POPL (2016)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
computational intelligence
discrete event
artificial intelligence
soft computing
machine learning
knowledge acquisition
benchmark datasets
dynamic systems