Found: 5
Select item for more details and to access through your institution.
Correction to: A linear-time branching-time perspective on interface automata.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
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
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
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
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