共 50 条
- [22] Proving ATL* properties of infinite-state systems THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 242 - 256
- [23] Abstraction and Learning for Infinite-State Compositional Verification ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 211 - 228
- [24] Solving Infinite-State Games via Acceleration PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [25] General decidability theorems for infinite-state systems 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 313 - 321
- [26] Infinite Mixtures of Markov Chains NEW FRONTIERS IN MINING COMPLEX PATTERNS, NFMCP 2017, 2018, 10785 : 167 - 181
- [27] Context free grammar and the infinite-state automaton Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1996, 24 (08): : 23 - 27
- [28] Formal Verification of Infinite-State BIP Models AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 326 - 343
- [29] Faster Temporal Reasoning for Infinite-State Programs 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 75 - 82
- [30] On Automation of CTL* Verification for Infinite-State Systems COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 13 - 29