selected publications academic article Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems. Nonlinear Analysis: Hybrid Systems. 43:101110-101110. 2021