| 2025 |
J |
jnl |
CoRR
Tobias von Arx, Niels Mündler, Mark Vero, Maximilian Baader, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICML
Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICML
Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Kazuki Egashira, Robin Staab, Thibaud Gloaguen, Mark Vero, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Thibaud Gloaguen, Mark Vero, Robin Staab, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICLR
Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICML
Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Giovanni De Muri, Mark Vero, Robin Staab, Martin T. Vechev
|
| 2024 |
A* |
conf |
NeurIPS
Hanna Yukhymenko, Robin Staab, Mark Vero, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Hanna Yukhymenko, Robin Staab, Mark Vero, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Angéline Pouget, Nikola Jovanovic, Mark Vero, Robin Staab, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICLR
Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Philipp Guldimann, Alexander Spiridonov, Robin Staab, Nikola Jovanovic, Mark Vero, Velko Vechev, Anna Gueorguieva, Mislav Balunovic, Nikola Konstantinov, Pavol Bielik, Petar Tsankov, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICML
Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2024 |
A* |
conf |
NeurIPS
Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICML
Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev
|
| 2024 |
A* |
conf |
NeurIPS
Batuhan Tömekçe, Mark Vero, Robin Staab, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Batuhan Tömekçe, Mark Vero, Robin Staab, Martin T. Vechev
|
| 2023 |
J |
jnl |
CoRR
Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2023 |
J |
jnl |
CoRR
Mark Vero, Mislav Balunovic, Martin T. Vechev
|
| 2023 |
A* |
conf |
ICML
Mark Vero, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev
|
| 2022 |
J |
jnl |
CoRR
Mark Vero, Mislav Balunovic, Dimitar I. Dimitrov, Martin T. Vechev
|
| 2022 |
J |
jnl |
CoRR
Thorir Mar Ingolfsson, Mark Vero, Xiaying Wang, Lorenzo Lamberti, Luca Benini, Matteo Spallanzani
|
| 2022 |
— |
conf |
CF
Thorir Mar Ingolfsson, Mark Vero, Xiaying Wang, Lorenzo Lamberti, Luca Benini, Matteo Spallanzani
|