Litcius/Paper detail

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach

Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun

2020Journal of Systems and Software45 citationsDOIOpen Access PDF

Topics & Concepts

Computer scienceParameterized complexityProbabilistic logicAutomatonArtificial intelligenceLearning automataControl (management)Intelligent transportation systemMachine learningDistributed computingEngineeringAlgorithmCivil engineeringAutonomous Vehicle Technology and SafetyFormal Methods in VerificationSoftware Reliability and Analysis Research
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach | Litcius