Works matching IS 00015903 AND DT 2011 AND VI 48 AND IP 5/6
Results: 3
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games.
- Published in:
- Acta Informatica, 2011, v. 48, n. 5/6, p. 291, doi. 10.1007/s00236-011-0140-0
- By:
- Publication type:
- Article
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.
- Published in:
- Acta Informatica, 2011, v. 48, n. 5/6, p. 271, doi. 10.1007/s00236-011-0139-6
- By:
- Publication type:
- Article
CHAP and rewrite components.
- Published in:
- Acta Informatica, 2011, v. 48, n. 5/6, p. 317, doi. 10.1007/s00236-011-0141-z
- By:
- Publication type:
- Article