NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Safe Autonomy"”.

  1. Guaranteed safe autonomy: Probabilistic and game-theoretic approaches

    Rajab, Fat-Hy OmarUniversity of Illinois Urbana-Champaign2025

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms

    uiuc Repository record

  2. Safe autonomy: Continuous testing and controller compensation for unreliable perception

    Miao, YanUniversity of Illinois at Urbana-Champaign2024

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms

    uiuc Repository record

  3. Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

    Fan, ChuchuUniversity of Illinois at Urbana-Champaign2020

    DSpace SAF Submission Ingestion Package generated from Vireo submission #14581 on 2020-02-28 at 17:13:55

    uiuc Repository record

  4. Certifiable synthesis and analysis for autonomy: Data-driven and analytical techniques

    Sun, DaweiUniversity of Illinois at Urbana-Champaign2023

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-03-01 without embargo terms

    uiuc Repository record