Found: 3
Select item for more details and to access through your institution.
Safraless LTL synthesis considering maximal realizability.
- Published in:
- Acta Informatica, 2017, v. 54, n. 7, p. 655, doi. 10.1007/s00236-016-0280-3
- By:
- Publication type:
- Article
A theory of formal synthesis via inductive learning.
- Published in:
- Acta Informatica, 2017, v. 54, n. 7, p. 693, doi. 10.1007/s00236-017-0294-5
- By:
- Publication type:
- Article
Model-checking iterated games.
- Published in:
- Acta Informatica, 2017, v. 54, n. 7, p. 625, doi. 10.1007/s00236-016-0277-y
- By:
- Publication type:
- Article