Explaining Control Policies through Predicate Decision Diagrams

Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav +2

Safety-critical controllers of complex systems are hard to construct manually. Automated approaches such as controller synthesis or learning provide a tempting alternative but usua…