2023
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
IJCAI 2023poster
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.