Carina Pilch
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| State-space construction of hybrid Petri nets with multiple stochastic firings ACM Transactions on Modeling and Computer Simulation | 2024-08-08 | Paper |
| State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings | 2024-03-14 | Paper |
| Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction | 2022-03-24 | Paper |
| scientific article; zbMATH DE number 7417720 (Why is no real title available?) | 2021-10-30 | Paper |
| Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Research outcomes over time
This page was built for person: Carina Pilch
