Utilizing Reinforcement Learning to Learn Safe Conflict Resolution
Explore the source record for details and available documents.
Brandon Waddell↗
Engineering topics
Tanner Slagel
Publications and source records attributed to Tanner Slagel.
PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace
Explore the source record for details and available documents.
Brendon Colbert↗
Formalization of Semi-Algebraic Sets in PVS
Explore the source record for details and available documents.
differential dynamic logic↗
Formalizing Ordinary Differential Equations in PVS
Explore the source record for details and available documents.
PVS↗
Interval Predictor Models for Robust System Identification
Explore the source record for details and available documents.
interval↗
Robust Estimation of Sliced-Exponential Distributions
Explore the source record for details and available documents.
robust↗
A Scenario-Based Approach to Robust Control Design
Explore the source record for details and available documents.
Robust Control↗