HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.
Saved in:
| 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 |
Be the first to leave a comment!
