Parameterized linear temporal logics meet costs: still not costlier than LTL.
- Published in:
- Acta Informatica, 2018, v. 55, n. 2, p. 129, doi. 10.1007/s00236-016-0279-9
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 2
Results: 4
1
2
Average-energy games.
- Published in:
- Acta Informatica, 2018, v. 55, n. 2, p. 91, doi. 10.1007/s00236-016-0274-1
- By:
- Publication type:
- Article
3
Preface for the special issue GandALF 2015.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
4
Reachability analysis of reversal-bounded automata on series–parallel graphs.
- Published in:
- Acta Informatica, 2018, v. 55, n. 2, p. 153, doi. 10.1007/s00236-016-0290-1
- By:
- Publication type:
- Article