TOSEM 2026

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies

Jieke Shi, Junda He, Zhou Yang, Djordje Zikelic, David Lo

ACM Transactions on Software Engineering and Methodology (TOSEM), 2026