Carina Pilch

From MaRDI portal
Person:832094

Available identifiers

zbMath Open pilch.carinaMaRDI QIDQ832094

List of research outcomes





PublicationDate of PublicationType
State-space construction of hybrid Petri nets with multiple stochastic firings2024-08-08Paper
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings2024-03-14Paper
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction2022-03-24Paper
https://portal.mardi4nfdi.de/entity/Q51615842021-10-30Paper
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings2021-01-25Paper

Research outcomes over time

This page was built for person: Carina Pilch

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