Path-ZVA Implementation
Date Available
2017-03-01Type
softwareData Creator
Reijsbergen, DanielPublisher
University of Edinburgh. School of Informatics. LFCS - Laboratory for Foundations of Computer ScienceMetadata
Show full item recordAltmetric
Citation
Reijsbergen, Daniel. (2017). Path-ZVA Implementation, [software]. University of Edinburgh. School of Informatics. LFCS - Laboratory for Foundations of Computer Science. https://doi.org/10.7488/ds/1977.Description
This Java project is an implementation of the algorithm presented in the paper 'Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems' by Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, and Sandeep Juneja. This implementation was used to create the tables in the paper - however, the general set-up should make it straightforward to extend the program with different models or importance sampling schemes.The following licence files are associated with this item: