Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty. Statistical verification of autonomous system controllers under timing uncertainties. Real-Time Systems, 60(1):108-149, March 2024. [doi]
Abstract is missing.