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

Dependable Internet of Things
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
1/01/16 → 31/03/22
Project: Research project

@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 Netherlands",

number = "3",

}