Volume 54, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 54, Issue 6

September 2017

Special Issue: Synthesis - Part 1

Issue Editors:

Krishnendu Chatterjee,
Rüdiger Ehlers

3 articles in this issue

Special issue: Synthesis and SYNT 2014
Krishnendu Chatterjee
Rüdiger Ehlers
Editorial 12 April 2017 Pages: 543 - 544
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
Aaron Bohy
Véronique Bruyère
Nathalie Bertrand
Original Article 01 February 2016 Pages: 545 - 587
Precise parameter synthesis for stochastic biochemical systems
Milan Češka
Frits Dannenberg
Luboš Brim
Original Article 28 March 2016 Pages: 589 - 623