Browsing Theses by Subject "knowledge representation automated reasoning"
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 ...