Rong Gu profile picture

Rong Gu

Is this your author profile? Create an account to customize it!

Stand Alone

Kangan
Formal Methods for Scalable Synthesis and Verification of Autonomous Systems Mission Planning and Collision Avoidance
Automatic Model Generation and Scalable Verification for Autonomous Vehicles Mission Planning and Collision Avoidance
Wu heng wei qiang: gu dai huan guan qun ti di wen hua kao cha
Big Data 11th CCF Conference, BigData 2023, Nanjing, China, September 8–10, 2023, Proceedings
Big Data