Not finding it? Sign in to also search OpenAlex live.
-
Parameter Synthesis for Markov Models: Prophesy and model files2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more
0citations
3 results