Not finding it? Sign in to also search OpenAlex live.
-
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
Estimation of Kinetic Parameters in Stochastic Biomedical Models Using Estimation Theory2021 IEEE International Symposium on Intelligent Systems and Informatics (SISY) conference-paper Computer Science Petri Nets in System Modeling
Lukas David Schuck, Lejla Begic Fazlic, Guido Dartmann, Anke Schmeink
0citations