Probabilistic black-box reachability checking (extended version)

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)416-448
Number of pages33
JournalFormal methods in system design
Volume54
Issue number3
Early online date21 May 2019
DOIs
Publication statusPublished - Nov 2019

Fields of Expertise

  • Information, Communication & Computing

Cite this