共 50 条
- [22] Simple models for strictly non-ergodic stochastic processes of macroscopic systems EUROPEAN PHYSICAL JOURNAL E, 2021, 44 (10):
- [24] Non-ergodic laser cooling PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1997, 355 (1733): : 2219 - 2221
- [25] Simulation hemi-metrics between infinite-state stochastic games FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 50 - 65
- [26] Infinite-State Energy Games PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [30] STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 540 - 549