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

Bibliographische Detailangaben

Veröffentlicht in:	Software verification and formal methods for ML-enabled autonomous systems
1. Verfasser:	Hariharan, Gokul (VerfasserIn)
Weitere Verfasser:	Kempa, Brian (VerfasserIn), Wongpiromsarn, Tichakorn (VerfasserIn), Jones, Phillip H. (VerfasserIn), Rozier, Kristin Y. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!