Maximilian Schwenger

From MaRDI portal
Person:5146367

Available identifiers

zbMath Open schwenger.maximilianMaRDI QIDQ5146367

List of research outcomes





PublicationDate of PublicationType
From LTL to rLTL monitoring: improved monitorability through robust semantics2023-06-29Paper
From LTL to rLTL monitoring2021-01-25Paper

Research outcomes over time

This page was built for person: Maximilian Schwenger