TitleAn Efficient Statistical Model Checker for Nondeterminism and Rare Events
Publication TypeJournal Article
Year of Publication2020
AuthorsBudde, C., P. D'Argenio, A. Hartmanns, and S. Sedwards
JournalInternational Journal on Software Tools For Technology Transfer
VolumeSpecial Issue TACAS 2018
Related files: 

WISE Lab logo


We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.