​
Login / Signup
Preston Robinette
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Mazurkiewicz Traces
Temporal Knowledge
Autonomous Vehicles
Reinforcement Learning
Top Venues
CoRR
SEFM
ICAA
</>
Publications
</>
Patrick Musau
,
Nathaniel Hamilton
,
Diego Manzanas Lopez
,
Preston Robinette
,
Taylor T. Johnson
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.
CoRR
(2022)
Patrick Musau
,
Nathaniel Hamilton
,
Diego Manzanas Lopez
,
Preston Robinette
,
Taylor T. Johnson
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
ICAA
(2022)
Nathaniel Hamilton
,
Preston Robinette
,
Taylor T. Johnson
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.
SEFM
(2022)
Theodore Papamarkou
,
Hayley Guy
,
Bryce Kroencke
,
Jordan Miller
,
Preston Robinette
,
Daniel Schultz
,
Jacob D. Hinkle
,
Laura Pullum
,
Catherine D. Schuman
,
Jeremy Renshaw
,
Stylianos Chatzidakis
Automated detection of pitting and stress corrosion cracks in used nuclear fuel dry storage canisters using residual neural networks.
CoRR
(2020)