Towards Bounded Synthesis of Resilient Supervisors.

Liyong Lin Yuting Zhu Rong Su

Published in: CDC (2019)

Keyphrases

program synthesis
functional programs
real time
computational complexity
databases
decision making
texture synthesis
continuous functions