共 50 条
- [1] On non-ergodic infinite-state stochastic Petri nets 10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2003, : 84 - 92
- [2] STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 540 - 549
- [3] Optimal Strategies in Infinite-state Stochastic Reachability Games ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (54): : 60 - 73
- [6] Steady-state analysis of infinite stochastic Petri nets: Comparing the spectral expansion and the matrix-geometric method PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 36 - 45
- [9] Automated Analysis of Probabilistic Infinite-state Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 85 - +
- [10] Simulation hemi-metrics between infinite-state stochastic games FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 50 - 65