Replicating RESTART with Prolonged Retrials: An Experimental Report

Carlos E. Budde*, Arnd Hartmanns*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Abstract

Statistical model checking uses Monte Carlo simulation to analyse stochastic formal models. It avoids state space explosion, but requires rare event simulation techniques to efficiently estimate very low probabilities. One such technique is RESTART. Villén-Altamirano recently showed—by way of a theoretical study and ad-hoc implementation—that a generalisation of RESTART to prolonged retrials offers improved performance. In this paper, we demonstrate our independent replication of the original experimental results. We implemented RESTART with prolonged retrials in the and modes tools, and apply them to the models used originally. To do so, we had to resolve ambiguities in the original work, and refine our setup multiple times. We ultimately confirm the previous results, but our experience also highlights the need for precise documentation of experiments to enable replicability in computer science.
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I
EditorsJan Friso Groote, Kim Guldstrand Larsen
PublisherSpringer International Publishing AG
Pages373-380
Number of pages8
ISBN (Electronic)978-3-030-72013-1
ISBN (Print)978-3-030-72012-4
DOIs
Publication statusPublished - 23 Mar 2021
Event27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 - Online Event
Duration: 27 Mar 20211 Apr 2021
Conference number: 27

Publication series

NameLecture Notes in Computer Science
VolumeLNCS 12652
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021
Abbreviated titleTACAS 2021
CityOnline Event
Period27/03/211/04/21
OtherHeld as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021

Fingerprint Dive into the research topics of 'Replicating RESTART with Prolonged Retrials: An Experimental Report'. Together they form a unique fingerprint.

Cite this