共 39 条
[21]
Hausmann D, 2023, Arxiv, DOI [arXiv:2311.01315, 10.48550/arXiv.2311.01315, DOI 10.48550/ARXIV.2311.01315]
[22]
Hausmann D, 2024, Arxiv, DOI [arXiv:2212.11055, 10.48550/arXiv.2212.11055, DOI 10.48550/ARXIV.2212.11055]
[23]
Quasipolynomial Computation of Nested Fixpoints
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2021,
2021, 12651
:38-56
[24]
Kański M, 2021, Studia Informatica System and information technology, DOI [10.34739/si.2021.25.01, 10.34739/si.2021.25.01, DOI 10.34739/SI.2021.25.01]
[25]
RESULTS ON THE PROPOSITIONAL MU-CALCULUS
[J].
THEORETICAL COMPUTER SCIENCE,
1983, 27 (03)
:333-354
[26]
Kupferman O., 2002, Automated Deduction, CADE 2002, V2392, P423, DOI [DOI 10.1007/3-540-45620-1_34, 10.1007/3-540-45620-134, DOI 10.1007/3-540-45620-134]
[27]
Kupke C., 2022, Logic in Computer Science, DOI DOI 10.1145/3531130.3533339
[28]
Kwiatkowska Marta, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P585, DOI 10.1007/978-3-642-22110-1_47
[29]
Landsaat E., 2022, A model checker for game logic via parity games
[30]
Liu WW, 2015, PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), P882