Sökning: "Rong Gu"
Hittade 2 avhandlingar innehållade orden Rong Gu.
1. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. LÄS MER
2. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER
Resultatsidor:
1