Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling. Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 752-770, Springer, 2022. [doi]
Abstract is missing.