| Safety certification for stochastic systems via neural barrier functions FB Mathiesen, SC Calvert, L Laurenti IEEE Control Systems Letters 7, 973-978, 2022 | 39 | 2022 |
| Hyperverlet: A symplectic hypersolver for Hamiltonian systems FB Mathiesen, B Yang, J Hu Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 4575-4582, 2022 | 7 | 2022 |
| Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification-in-the-loop training X Wang, L Knoedler, FB Mathiesen, J Alonso-Mora 2024 European Control Conference (ECC), 571-578, 2024 | 6 | 2024 |
| Inner approximations of stochastic programs for data-driven stochastic barrier function design FB Mathiesen, L Romao, SC Calvert, A Abate, L Laurenti 2023 62nd IEEE Conference on Decision and Control (CDC), 3073-3080, 2023 | 6 | 2023 |
| IntervalMDP. jl: Accelerated Value Iteration for Interval Markov Decision Processes FB Mathiesen, M Lahijanian, L Laurenti arXiv preprint arXiv:2401.04068, 2024 | 5 | 2024 |
| Piecewise Stochastic Barrier Functions R Mazouz, FB Mathiesen, L Laurenti, M Lahijanian arXiv preprint arXiv:2404.16986, 2024 | 2 | 2024 |
| Data-Driven Permissible Safe Control with Barrier Certificates R Mazouz, J Skovbekk, FB Mathiesen, E Frew, L Laurenti, M Lahijanian arXiv preprint arXiv:2405.00136, 2024 | 1 | 2024 |
| A survey on robustness in trajectory prediction for autonomous vehicles J Hagenus, FB Mathiesen, JF Schumann, A Zgonnikov arXiv preprint arXiv:2402.01397, 2024 | 1 | 2024 |
| Scalable control synthesis for stochastic systems via structural IMDP abstractions FB Mathiesen, S Haesaert, L Laurenti arXiv preprint arXiv:2411.11803, 2024 | | 2024 |
| A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution FB Mathiesen, L Romao, SC Calvert, L Laurenti, A Abate arXiv preprint arXiv:2410.06662, 2024 | | 2024 |
| Robustness in trajectory prediction for autonomous vehicles: a survey J Hagenus, FB Mathiesen, JF Schumann, A Zgonnikov 2024 IEEE Intelligent Vehicles Symposium (IV), 969-976, 2024 | | 2024 |
| IntervalMDP. jl: Accelerated Value Iteration for Interval Markov Decision Processes L Laurenti, FB Mathiesen, M Lahijanian | | 2024 |
| A Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems A Madsen, FB Mathiesen | | 2021 |
| A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform F Baymler Mathiesen, G Fleeman arXiv e-prints, arXiv: 2011.00560, 2020 | | 2020 |
Luca LaurentiTU DelftEmail confirmado em tudelft.nl
