Results: 3
Precise parameter synthesis for stochastic biochemical systems.
- Published in:
- Acta Informatica, 2017, v. 54, n. 6, p. 589, doi. 10.1007/s00236-016-0265-2
- By:
- Publication type:
- Article
Special issue: Synthesis and SYNT 2014.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.
- Published in:
- Acta Informatica, 2017, v. 54, n. 6, p. 545, doi. 10.1007/s00236-016-0255-4
- By:
- Publication type:
- Article