1 |
|
Safe Large-Scale Aerial Survey Planning for Multi-Robot Systems
|
Shah, Kunal
|
Stanford University. : ProQuest Dissertations & Theses
|
900
|
2021
|
|
|
2 |
|
Neural Network Verification for Nonlinear Systems
|
Sidrane, Chelsea Rose
|
Stanford University. : ProQuest Dissertations & Theses
|
330
|
2022
|
|
|
3 |
|
Augmenting Transition Systems for Scalable Symbolic Model Checking
|
Mann, Makai
|
Stanford University. : ProQuest Dissertations & Theses
|
306
|
2021
|
|
|
4 |
|
Invariant Inference Via Quantified Separation
|
Koenig, Jason Richard
|
Stanford University. : ProQuest Dissertations & Theses
|
510
|
2021
|
|
|
5 |
|
Acceptance and Approximation: Studies on Probabilistic Stability, Acceptance Rules on Atomless Spaces, and Algebraic Logics of Approximation
|
Mierzewski, Krzysztof Mieczyslaw
|
Stanford University. : ProQuest Dissertations & Theses
|
005
|
2020
|
|
|
6 |
|
Nonlocal Games, Distributed Storage, and Quantum Error Correction: Excursions in Fault-Tolerant Computation
|
Shutty, Noah John
|
Stanford University. : ProQuest Dissertations & Theses
|
530.1
|
2022
|
|
|