Skip to content
conftrace_
2023 IJCAI IJCAI 2023

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

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.

Authors

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

Topics

Mathematics & Optimization > Mathematics > Probability Mathematics & Optimization > Optimization > Stochastic Methods

Keywords

stochastic petri net probabilistic verification finite-trace analysis trace satisfaction specification probability
Download PDF

More from IJCAI 2023

All IJCAI 2023 papers →
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract)
Learning Causal Effects on Hypergraphs (Extended Abstract)
Efficient Convex Optimization Requires Superlinear Memory (Extended Abstract)