Traffic rules compliance checking of automated vehicle maneuvers
Hanif Bhuiyan, Guido Governatori, Andy Bond, Andry Rakotonirainy
Topics & Concepts
ExecutableComputer scienceSemantics of Business Vocabulary and Business RulesDefeasible estateInterpretation (philosophy)Deontic logicArtificial intelligenceRepresentation (politics)Data miningComputer securityProgramming languageBusiness ruleEngineeringBusiness processPhilosophyPoliticsChemical engineeringEpistemologyLawCompatibility (geochemistry)Political scienceAutonomous Vehicle Technology and SafetyTransportation and Mobility InnovationsHuman-Automation Interaction and Safety