Search for dissertations about: "Rong Gu"

Found 2 swedish dissertations containing the words Rong Gu.

  2. 1. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist; Larsen Kim; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : 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. READ MORE

  4. 2. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE