TP
Tosca Pierro
cs.LGcs.RO
On Valency
published · living versionsW_8kkfkm4n·v1 · currentpublished
Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates
with Mihaela-Larisa Clement, Ezio Bartocci, Luca Marzari
1 version
Preprints & journals
1 paper in the corpus · 2026Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates2610.27870v1 · Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci et al.2026 · 0 citationsarXivon Valency
Career total: 1 work. 1 is in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.