Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools , pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Distributionally robust games with coherent risk measures admit equilibria in data-driven settings, are continuous rather than finite, have PPAD-complete computation in general, and admit multilinear complementarity formulations with utility loss bounds.
citing papers explorer
-
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.