Probabilistic black-box reachability checking (extended version)

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Number of pages33
JournalFormal methods in system design
DOIs
Publication statusE-pub ahead of print - 2019

Fields of Expertise

  • Information, Communication & Computing

Cite this

Probabilistic black-box reachability checking (extended version). / Aichernig, Bernhard; Tappler, Martin.

In: Formal methods in system design, 2019.

Research output: Contribution to journalArticleResearchpeer-review

@article{0d42530449924cd499c19c501985440c,
title = "Probabilistic black-box reachability checking (extended version)",
author = "Bernhard Aichernig and Martin Tappler",
year = "2019",
doi = "10.1007/s10703-019-00333-0",
language = "English",
journal = "Formal methods in system design",
issn = "0925-9856",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Probabilistic black-box reachability checking (extended version)

AU - Aichernig, Bernhard

AU - Tappler, Martin

PY - 2019

Y1 - 2019

U2 - 10.1007/s10703-019-00333-0

DO - 10.1007/s10703-019-00333-0

M3 - Article

JO - Formal methods in system design

JF - Formal methods in system design

SN - 0925-9856

ER -