Synthesis of Controllers for Continuous Blackbox Systems.

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Browse the full VMCAI paper archive.