fgirbal/cbc_adas

Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".

Language: Perl 6 - Size: 173 MB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 5