Sandboxing Controllers for Stochastic Cyber-Physical Systems - Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco (Formal Modeling and Analysis of Timed Systems, 2019)
Keywords: Fault-tolerance; Sandboxing controllers; Stochastic cyber-physical systems