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
Works matching IS 00015903 AND DT 2017 AND VI 54 AND IP 7
Results: 3
1
2
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
3
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