References in zbMATH (referenced in 24 articles )

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

1 2 next

  1. Lomuscio, Alessio; Pirovano, Edoardo: A counter abstraction technique for verifying properties of probabilistic swarm systems (2022)
  2. Stankovič, Miroslav; Bartocci, Ezio; Kovács, Laura: Moment-based analysis of Bayesian network properties (2022)
  3. Volk, Matthias; Bonakdarpour, Borzoo; Katoen, Joost-Pieter; Aflaki, Saba: Synthesizing optimal bias in randomized self-stabilization (2022)
  4. Bentriou, Mahmoud; Ballarini, Paolo; Cournède, Paul-Henry: Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (2021)
  5. Busatto-Gaston, Damien; Chakraborty, Debraj; Guha, Shibashis; Pérez, Guillermo A.; Raskin, Jean-François: Safe learning for near-optimal scheduling (2021)
  6. Cardelli, Luca; Grosu, Radu; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea: Lumpability for uncertain continuous-time Markov chains (2021)
  7. Carr, Steven; Jansen, Nils; Topcu, Ufuk: Task-aware verifiable RNN-based policies for partially observable Markov decision processes (2021)
  8. Češka, Milan; Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter: Counterexample-guided inductive synthesis for probabilistic systems (2021)
  9. Dubslaff, Clemens; Koopmann, Patrick; Turhan, Anni-Yasmin: Enhancing probabilistic model checking with ontologies (2021)
  10. Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias: The complexity of reachability in parametric Markov decision processes (2021)
  11. Khan, Muhammad Hannan; Hassan, Osman; Khan, Shahid: Accelerating SpMV multiplication in probabilistic model checkers using GPUs (2021)
  12. Peruffo, Andrea; Abate, Alessandro: Formal abstraction and synthesis of parametric stochastic processes (2021)
  13. Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim: Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (2020)
  14. Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael: Life is random, time is not: Markov decision processes with window objectives (2020)
  15. Gainer, Paul; Linker, Sven; Dixon, Clare; Hustadt, Ullrich; Fisher, Michael: Multi-scale verification of distributed synchronisation (2020)
  16. Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim: Multi-cost bounded tradeoff analysis in MDP (2020)
  17. Křetínský, Jan; Meggendorfer, Tobias: Of cores: a partial-exploration framework for Markov decision processes (2020)
  18. Mathur, Umang; Bauer, Matthew S.; Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh: Exact quantitative probabilistic model checking through rational search (2020)
  19. Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav: Automatic generation of moment-based invariants for prob-solvable loops (2019)
  20. Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter: Are parametric Markov chains monotonic? (2019)

1 2 next