Manuel Gieseking

From MaRDI portal
Person:2117154

Available identifiers

zbMath Open gieseking.manuelMaRDI QIDQ2117154

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61249522024-04-10Paper
High-level representation of benchmark families for Petri games2023-05-26Paper
Model Checking Branching Properties on Petri Nets with Transits2022-12-22Paper
Canonical representations for direct generation of strategies in high-level Petri games2022-03-21Paper
\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL2021-02-09Paper
Model checking data flows in concurrent network updates2020-07-20Paper
Solving high-level Petri games2020-05-26Paper

Research outcomes over time

This page was built for person: Manuel Gieseking

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