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

SJJ Leemans; Fabrizio Maria Maggi; Marco Montali

doi:10.24963/ijcai.2023/719

Back

Abstract

Peer reviewed

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

SJJ Leemans, Fabrizio Maria Maggi and Marco Montali

IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, pp. 6452-6457

International Joint Conference on Artificial Intelligence (Macao, 19/08/2023–25/08/2023)

2023

DOI: https://doi.org/10.24963/ijcai.2023/719

Handle:

https://hdl.handle.net/10863/39123

Abstract

Data Mining

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.

Files and links (1)

url

https://doi.org/10.24963/ijcai.2023/719View

Details

Title: Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Creators: SJJ Leemans
Fabrizio Maria Maggi - Free University of Bozen-Bolzano
Marco Montali - Free University of Bozen-Bolzano
Publication Details: IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, pp. 6452-6457
Conference: International Joint Conference on Artificial Intelligence (Macao, 19/08/2023–25/08/2023)
Publisher: AAAI
Number of pages: 6
Identifiers: (UNIBZ)71126406
991006732498001241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Abstract
Author Names String: Leemans SJJ, Maggi FM, Montali M

Metrics

1 Record Views