Search
Now showing items 1-2 of 2
Rare event simulation with fully automated Importance splitting
(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 ...
A theory for the semantics of stochastic and non-deterministic continuous systems
(2014)
The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, ...