Browsing Artículos 2015 by Author "D'Argenio, Pedro Ruben"

Now showing items 1-2 of 2

    • Rare event simulation with fully automated Importance splitting 

      Budde, Carlos Esteban; D'Argenio, Pedro Ruben; Hermanns, Holger (2015)
      Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ...

    • Smart sampling for lightweight verification of Markov decision processes 

      D'Argenio, Pedro Ruben; Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie (2015)
      Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...