Cyber-physical systems are typically composed of a physical system (plant) controlled by software (controller). Such controller, given plant state s and action u, returns 1 iff taking u in leads to the goal or at least one step closer it. Since controller K is stored compressed form, it difficult for human designer actually understand how “good” is. Namely, natural questions such as “does cover...
