1 paper
Mario Gleirscher, Philip Hönnecke
Objective: To obtain explainable guarantees in the online synthesis of optimal controllers for high-integrity cyber-physical systems, we re-investigate the use of exhaustive search…