References in zbMATH (referenced in 14 articles )

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

  1. Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María: Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (2014)
  2. Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd: Minimal counterexamples for linear-time probabilistic verification (2014)
  3. Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James: Algorithmic probabilistic game semantics. Playing games with automata (2013)
  4. Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang: Compositional probabilistic verification through multi-objective model checking (2013)
  5. Barbot, Beno^ıt; Haddad, Serge; Picaronny, Claudine: Coupling and importance sampling for statistical model checking (2012)
  6. Giro, Sergio; Rabe, Markus N.: Verification of partial-information probabilistic systems using counterexample-guided refinements (2012)
  7. Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru: Observing continuous-time MDPs by 1-clock timed automata (2011)
  8. Delahaye, Beno{^ı}t; Caillaud, Beno{^ı}t; Legay, Axel: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (2011)
  9. Jha, Sumit Kumar; Langmead, Christopher James: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (2011)
  10. Clarke, Edmund; Donzé, Alexandre; Legay, Axel: On simulation-based probabilistic model checking of mixed-analog circuits (2010)
  11. Giro, Sergio: Undecidability results for distributed probabilistic systems (2009)
  12. Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María: Partial order reduction for probabilistic systems: a revision for distributed schedulers (2009)
  13. Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David: Game-based probabilistic predicate abstraction in PRISM (2008)
  14. Giro, Sergio; D’Argenio, Pedro R.: Quantitative model checking revisited: Neither decidable nor approximable (2007)