Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Sander J.J. Leemans, Fabrizio M. Maggi, Marco Montali
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Sister Conferences Best Papers. Pages 6452-6457.
https://doi.org/10.24963/ijcai.2023/719
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.
Keywords:
Sister Conferences Best Papers: Multidisciplinary Topics and Applications
Sister Conferences Best Papers: Data Mining