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

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

Browse the full IJCAI paper archive.