References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias: The complexity of reachability in parametric Markov decision processes (2021)
  2. Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim: Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (2020)
  3. Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael: Life is random, time is not: Markov decision processes with window objectives (2020)
  4. Gainer, Paul; Linker, Sven; Dixon, Clare; Hustadt, Ullrich; Fisher, Michael: Multi-scale verification of distributed synchronisation (2020)
  5. Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim: Multi-cost bounded tradeoff analysis in MDP (2020)
  6. Křetínský, Jan; Meggendorfer, Tobias: Of cores: a partial-exploration framework for Markov decision processes (2020)
  7. Mathur, Umang; Bauer, Matthew S.; Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh: Exact quantitative probabilistic model checking through rational search (2020)
  8. Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav: Automatic generation of moment-based invariants for prob-solvable loops (2019)
  9. Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter: Are parametric Markov chains monotonic? (2019)
  10. Chatzieleftheriou, G.; Katsaros, P.: Abstract model repair for probabilistic systems (2018)
  11. Gujarati, Arpan; Nasri, Mitra; Brandenburg, Björn B.: Quantifying the resiliency of fail-operational real-time networked control systems (2018)
  12. Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk: Sequential convex programming for the efficient verification of parametric MDPs (2017)