Sascha Klüppelholz

From MaRDI portal
Person:6718543

Available identifiers

MaRDI QIDQ6718543

List of research outcomes





PublicationDate of PublicationType
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA2024-10-30Dataset
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact2024-06-24Dataset
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"2020-08-03Dataset

Research outcomes over time

This page was built for person: Sascha Klüppelholz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6718543&oldid=42095822"
Powered by MediaWiki