Publications
Journals
Conferences
∘ |
B. Zhong, M. Zamani, and M. Caccamo, "Sandboxing controllers for stochastic cyber-physical systems.", in 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science, Amsterdam, Netherlands, Aug 2019. |