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.
🧭
Keyword Pioneer
— finite-trace analysis
🐝
Cross-Pollinator
— Artificial Intelligence, Computer Science, Deep Learning, Machine Learning, Mathematics & Optimization, Reinforcement Learning