Browsing Mathematics (Faculty of) by Supervisor "czarnecki, krzysztof"
Now showing items 1-1 of 1
-
Traffic Rule Checking and Validation
(University of Waterloo, 2024-02-15)This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ...