TitleMemory-Efficient Tactics for Randomized LTL Model Checking
Publication TypeConference Proceedings
Year of Conference2017
AuthorsLarsen, K. G., D. Peled, and S. Sedwards
Conference Name9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2017)
Series TitleLecture Notes in Computer Science
Volume10712
Pagination152-169
PublisherSpringer
Conference LocationHeidelberg, Germany
URLhttps://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
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.