Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

Sander J.J. Leemans; Fabrizio M. Maggi; Marco Montali

IJCAI 2023poster0 citations

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

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.

Sister Conferences Best Papers: Multidisciplinary Topics and ApplicationsSister Conferences Best Papers: Data Mining

BibTeX

@inproceedings{ijcai2023p719,
  title     = {Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)},
  author    = {Leemans, Sander J.J. and Maggi, Fabrizio M. and Montali, Marco},
  booktitle = {Proceedings of the Thirty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-23}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Edith Elkind},
  pages     = {6452--6457},
  year      = {2023},
  month     = {8},
  note      = {Sister Conferences Best Papers},
  doi       = {10.24963/ijcai.2023/719},
  url       = {https://doi.org/10.24963/ijcai.2023/719},
}