Formal ESL Synthesis for Control-Intensive Applications.

Michael F. Dossis

Published in: Adv. Softw. Eng. (2012)

Keyphrases

control system
language learning
control method
data sets
search algorithm
control problems
computer vision
website
reinforcement learning
learning strategies
control strategy
formal model
optimal control
formal specification
program synthesis