Formal Synthesis from Control Programs.

Vladimir Sinyakov Antoine Girard

Published in: CDC (2020)

Keyphrases

control program
control structures
functional programs
control system
program synthesis
optimal control
robot control
computer programs
automatic programming
control theory
control problems
real time
control method
control strategy
information systems
genetic algorithm
real world