TitleEfficient Simulation-based Verification of Probabilistic Timed Automata
Publication TypeConference Paper
Year of Publication2017
AuthorsHartmanns, A., S. Sedwards, and P. D'Argenio
Conference NameWinter Simulation Conference (WSC 2017)
PublisherIEEE
Conference LocationLas Vegas, USA
URLhttps://ieeexplore.ieee.org/document/8247885
DOI10.1109/WSC.2017.8247885
Refereed DesignationRefereed

WISE Lab logo

Opportunities

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

For more information, visit Open positions.