Mark Vero

30 papers A* 11Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
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