共 50 条
- [1] Model checking infinite-state Markov chains TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 237 - 252
- [3] CSL model checking algorithms for infinite-state structured Markov chains FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2007, 4763 : 336 - +
- [4] INFAMY: An Infinite-State Markov Model Checker COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 641 - 647
- [8] Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains 2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 98 - 107
- [10] 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,