Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoxian Yang, Yuting Wei, Linxiang Shi, Lin Chen. Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data. MONET, 28(1):382-393, February 2023. [doi]

This author has not been identified. Look up 'Xiaoxian Yang' in GoogleThis author has not been identified. Look up 'Yuting Wei' in GoogleThis author has not been identified. Look up 'Linxiang Shi' in GoogleThis author has not been identified. Look up 'Lin Chen' in Google

runs on WebDSL