Hierarchical Multiobjective Shortest Path Problems

von Slutsky, Konstantin
Veröffentlicht in Workshop on the Algorithmic Foundations of Robotics (14. : 2020 : Oulu) Algorithmic foundations of robotics XIV (2021)

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)

Minimum-Violation Traffic Management for Urban Air Mobility

von Bharadwaj, Suda
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

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)