Importance sampling for Probabilistic Timed Automata

@inproceedings{Pasveer2013ImportanceSF,
  title={Importance sampling for Probabilistic Timed Automata},
  author={Marco Pasveer},
  year={2013}
}
  • Marco Pasveer
  • Published 2013
In the last few years computers have become a much larger part of our daily lives. Because of this it has also gotten more important for computer programs to be correct. Nobody would want the medical software in hospitals to be incorrect. If such software has to be patched or recalled because it is incorrectly working, it can cost a large amount of money to… CONTINUE READING