Name Card

Full name Familienname, Vorname
Shim, Tobey
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mandal-2024-Formally Verifying Deep Reinforcement Learning Controllers wi...-vor.pdf.jpgMandal, Udayan ; Amir, Guy ; Wu, Haoze ; Daukantas, Ieva ; Newell, Fletcher Lee ; Ravaioli, Umberto J. ; Meng, Baoluo ; Durling, Michael ; Ganai, Milan ; Shim, Tobey ; Katz, Guy ; Barrett, Clark Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier CertificatesInproceedings Konferenzbeitrag Oct-2024