External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

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]

Authors

Gokul Hariharan

This author has not been identified. Look up 'Gokul Hariharan' in Google

Brian Kempa

This author has not been identified. Look up 'Brian Kempa' in Google

Tichakorn Wongpiromsarn

This author has not been identified. Look up 'Tichakorn Wongpiromsarn' in Google

Phillip H. Jones

This author has not been identified. Look up 'Phillip H. Jones' in Google

Kristin Y. Rozier

This author has not been identified. Look up 'Kristin Y. Rozier' in Google
runs on