TitleLightweight Statistical Model Checking in Nondeterministic Continuous Time
Publication TypeConference Proceedings
Year of Conference2018
AuthorsD'Argenio, P., A. Hartmanns, and S. Sedwards
Conference Name9th International Symposium on Leveraging Applications (ISoLA 2018)
Series TitleLecture Notes in Computer Science
Volume11245
Pagination336–353
PublisherSpringer
Conference LocationLimassol, Cyprus
URLhttps://link.springer.com/chapter/10.1007/978-3-030-03421-4_22
Short TitleLNCS
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.