Correction to: Solving high-level Petri games.
- Published in:
- Acta Informatica, 2021, v. 58, n. 6, p. 675, doi. 10.1007/s00236-021-00405-x
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2021 AND VI 58 AND IP 6
Results: 5
1
2
Measuring the constrained reachability in quantum Markov chains.
- Published in:
- Acta Informatica, 2021, v. 58, n. 6, p. 653, doi. 10.1007/s00236-020-00392-5
- By:
- Publication type:
- Article
3
Correction to: A linear-time branching-time perspective on interface automata.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
4
Equilibria for games with combined qualitative and quantitative objectives.
- Published in:
- Acta Informatica, 2021, v. 58, n. 6, p. 585, doi. 10.1007/s00236-020-00385-4
- By:
- Publication type:
- Article
5
DKL: an efficient algorithm for learning deterministic Kripke structures.
- Published in:
- Acta Informatica, 2021, v. 58, n. 6, p. 611, doi. 10.1007/s00236-020-00387-2
- By:
- Publication type:
- Article