Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier. MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. In Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, editors, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Volume 13466 of Lecture Notes in Computer Science, pages 187-204, Springer, 2022. [doi]
@inproceedings{HariharanKWJR22, title = {MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types}, author = {Gokul Hariharan and Brian Kempa and Tichakorn Wongpiromsarn and Phillip H. Jones and Kristin Y. Rozier}, year = {2022}, doi = {10.1007/978-3-031-21222-2_11}, url = {https://doi.org/10.1007/978-3-031-21222-2_11}, researchr = {https://researchr.org/publication/HariharanKWJR22}, cites = {0}, citedby = {0}, pages = {187-204}, booktitle = {Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings}, editor = {Omri Isac and Radoslav Ivanov and Guy Katz and Nina Narodytska and Laura Nenzi}, volume = {13466}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-21222-2}, }