Maximum Satisfiability of Mission-Time Linear Temporal Logic

von Hariharan, Gokul
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

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

von Hariharan, Gokul
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)