Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn. Maximum Satisfiability of Mission-Time Linear Temporal Logic. In Laure Petrucci, Jeremy Sproston, editors, Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Volume 14138 of Lecture Notes in Computer Science, pages 86-104, Springer, 2023. [doi]
Abstract is missing.