Probabilistic black-box reachability checking (extended version)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	416-448
Number of pages	33
Journal	Formal Methods in System Design
Volume	54
Issue number	3
Early online date	21 May 2019
DOIs	https://doi.org/10.1007/s10703-019-00333-0
Publication status	Published - Nov 2019

Fields of Expertise

@article{0d42530449924cd499c19c501985440c,

title = "Probabilistic black-box reachability checking (extended version)",

author = "Bernhard Aichernig and Martin Tappler",

year = "2019",

month = nov,

doi = "10.1007/s10703-019-00333-0",

language = "English",

volume = "54",

pages = "416--448",

journal = "Formal Methods in System Design",

issn = "1572-8102",

publisher = "Springer Science+Business Media B.V ",

number = "3",

}