View in EDS PDF Full Text

HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.

Saved in:
Bibliographic Details
Title: HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.
Authors: BOUYER, PATRICIA1, CASARES, ANTONIO2, RANDOUR, MICKAEL3, VANDENHOVE, PIERRE1,3
Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p19:1-19:42, 42p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-20(3:19)2024