Found: 4
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
Average-energy games.
- Published in:
- Acta Informatica, 2018, v. 55, n. 2, p. 91, doi. 10.1007/s00236-016-0274-1
- By:
- Publication type:
- Article
Strategy synthesis for multi-dimensional quantitative objectives.
- Published in:
- Acta Informatica, 2014, v. 51, n. 3/4, p. 129, doi. 10.1007/s00236-013-0182-6
- 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