Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies

Jieke Shi, Junda He, Zhou Yang +2

With the increasing use of neural policies in control systems, ensuring their safety and reliability has become a critical software engineering task. One prevalent approach to ensu…