Publications

2018

• Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision ProcessesBaier, C., Bertrand, N., Dubslaff, C., Gburek, D. & Sankur, O., 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), New York, p. 86-94, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2017

• Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)Baier, C. & Tinelli, C., 24 Apr 2017, In: Acta informatica. 54, 8, p. 727–728Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Computing Conditional Probabilities: Implementation and EvaluationMärcker, S., Baier, C., Klein, J. & Wunderlich, S., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings. Cimatti, A. & Sirjani, M. (eds.). Springer, Berlin [u. a.], p. 349-366, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software SystemsWeißbach, M., Chrszon, P., Springer, T. & Schill, A., 2017, p. 111-120, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Delayed-Choice Semantics for Pomset Families and Message Sequence GraphsDubslaff, C. & Baier, C., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J., Langerak, R. & Rensink, A. (eds.). Springer, Berlin [u. a.], p. 64-84, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesBaier, C., Klein, J., Leuschner, L., Parker, D. & Wunderlich, S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer, Berlin [u. a.], p. 160-180, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• LTL to Deterministic Emerson-Lei AutomataMüller, D. & Sickert, S., 2017, p. 180-194, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Maximizing the Conditional Expected Reward for Reaching the GoalBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (eds.). Springer, Berlin [u. a.], p. 269–285Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], p. 190-206, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian EliminationHutschenreiter, L., Klein, J. & Baier, C., 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Bouyer, P., Orlandini, A. & San Pietro, P. (eds.).p. 16-30, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution