Probabilistic black-box reachability checking (extended version)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	416-448
Seitenumfang	33
Fachzeitschrift	Formal Methods in System Design
Jahrgang	54
Ausgabenummer	3
Frühes Online-Datum	21 Mai 2019
DOIs	https://doi.org/10.1007/s10703-019-00333-0
Publikationsstatus	Veröffentlicht - 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",

}