Results: 4
Assume-admissible synthesis.
- Published in:
- Acta Informatica, 2017, v. 54, n. 1, p. 41, doi. 10.1007/s00236-016-0273-2
- By:
- Publication type:
- Article
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games.
- Published in:
- Acta Informatica, 2017, v. 54, n. 1, p. 85, doi. 10.1007/s00236-016-0276-z
- By:
- Publication type:
- Article
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Reactive synthesis without regret.
- Published in:
- Acta Informatica, 2017, v. 54, n. 1, p. 3, doi. 10.1007/s00236-016-0268-z
- By:
- Publication type:
- Article