doi.org/10.1007/978-3-030-72013-1_21

Preview meta tags from the doi.org website.

Linked Hostnames

23

Thumbnail

Search Engine Appearance

Google

https://doi.org/10.1007/978-3-030-72013-1_21

Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report

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...



Bing

Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report

https://doi.org/10.1007/978-3-030-72013-1_21

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...



DuckDuckGo

https://doi.org/10.1007/978-3-030-72013-1_21

Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report

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...

  • General Meta Tags

    36
    • title
      Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report | SpringerLink
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1
    • applicable-device
      pc,mobile

  • Open Graph Meta Tags

    6
    • og:url
      https://link.springer.com/chapter/10.1007/978-3-030-72013-1_21
    • og:type
      Paper
    • og:site_name
      SpringerLink
    • og:title
      Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report
    • og:description
      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...

  • Twitter Meta Tags

    6
    • twitter:site
      SpringerLink
    • twitter:card
      summary
    • twitter:image:alt
      Content cover image
    • twitter:title
      Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experime
    • twitter:description
      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...

  • Item Prop Meta Tags

    3
    • position
      1
    • position
      2
    • position
      3

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/chapter/10.1007/978-3-030-72013-1_21
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Emails

2

Links

77