Back to results

University of Illinois at Urbana-Champaign

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

dc:creator Fan, Chuchu

thesis:degree_name Ph.D.

dc:date2020

Abstract

dc:description

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

Degree

thesis:*

Name thesis:degree_name: Ph.D.
Level thesis:degree_level: Dissertation
Discipline thesis:degree_discipline: Electrical & Computer Engr
Grantor: University of Illinois at Urbana-Champaign
Year dc:date: 2020

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Fan, Chuchu
Contributors dc:contributor: Mitra, Sayan
Liberzon, Daniel
Murray, Richard
Sanders, William
Viswanathan, Mahesh

Subjects

dc:subject × 4

Rights

dc:rights

Statement dc:rights: Copyright 2019 Chuchu Fan
Language dc:language: en

Identifiers

dc:identifier.*

Handle dc:identifier: http://hdl.handle.net/2142/106202
OAI identifier oai:identifier: oai:www.ideals.illinois.edu:2142/106202

Chain of custody

source

Harvested from: University of Illinois - Urbana-Champaign
Base URL: www.ideals.illinois.edu/oai-pmh
Last updated: 2026-07-22
Source record: OAI-PMH GetRecord

related terms

citation

Fan, Chuchu. Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. Dissertation thesis, University of Illinois at Urbana-Champaign, 2020. http://hdl.handle.net/2142/106202

More from University of Illinois - Urbana-Champaign