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

PDF BibTeX

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.

Keywords

• Sister Conferences Best Papers: Multidisciplinary Topics and Applications
• Sister Conferences Best Papers: Data Mining