Works matching IS 00015903 AND DT 2014 AND VI 51 AND IP 3/4
Results: 5
Strategy synthesis for multi-dimensional quantitative objectives.
- Published in:
- Acta Informatica, 2014, v. 51, n. 3/4, p. 129, doi. 10.1007/s00236-013-0182-6
- By:
- Publication type:
- Article
Synthesizing robust systems.
- Published in:
- Acta Informatica, 2014, v. 51, n. 3/4, p. 193, doi. 10.1007/s00236-013-0191-5
- By:
- Publication type:
- Article
Editorial: special issue on synthesis.
- Published in:
- 2014
- By:
- Publication type:
- Editorial
Distributed synthesis for regular and contextfree specifications.
- Published in:
- Acta Informatica, 2014, v. 51, n. 3/4, p. 221, doi. 10.1007/s00236-014-0194-x
- By:
- Publication type:
- Article
Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$.
- Published in:
- Acta Informatica, 2014, v. 51, n. 3/4, p. 165, doi. 10.1007/s00236-013-0189-z
- By:
- Publication type:
- Article