IJCAI 2023Poster
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Authors: Sander J.J. Leemans, Fabrizio M. Maggi, Marco Montali
Abstract
In this paper, we summarise the main technical results obtained for specification probability. That is, we compute the probability that if a bounded stochastic Petri net produces a trace, that trace satisfies a given specification.