MC

Mihaela-Larisa Clement

0009-0005-2652-2274

cs.ROcs.LGcs.SYeess.SY

On Valency

published · living versions

W_8kkfkm4n·v1 · currentpublished

Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates

with Tosca Pierro, Ezio Bartocci, Luca Marzari

1 version

Preprints & journals

3 papers in the corpus · 2026

Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates2610.27870v1 · Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci et al.2026 · 0 citationsarXivon Valency

RoboRacer Arena: Specification-Driven Track Construction for Autonomous Racing2608.23040v2 · Mihaela-Larisa Clement, Agnes Poks, Ezio Bartocci2026 · 0 citationsarXiv

Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling2603.24503v1 · Mihaela-Larisa Clement, M'onika Farsang, Agnes Poks et al.2026 · 0 citationsarXiv

Career total: 4 works. 3 are 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.