Found: 2
Select item for more details and to access through your institution.
HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 19:1, doi. 10.46298/LMCS-20(3:19)2024
- By:
- Publication type:
- Article
ARENA-INDEPENDENT FINITE-MEMORY DETERMINACY IN STOCHASTIC GAMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 4, p. 1, doi. 10.46298/LMCS-19(4:18)2023
- By:
- Publication type:
- Article