Robin Staab

38 papers A* 12Journal 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Thibaud Gloaguen, Robin Staab, Nikola Jovanovic, Martin T. Vechev
2025 J jnl
CoRR
Robin Staab, Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
2025 A* conf
ICLR
Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev
2025 A* conf
ICML
Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, 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
Csaba Dékány, Stefan Balauca, Robin Staab, Dimitar I. Dimitrov, Martin T. Vechev
2025 J jnl
CoRR
Giovanni De Muri, Mark Vero, Robin Staab, Martin T. Vechev
2025 J jnl
CoRR
Thibaud Gloaguen, Robin Staab, Nikola Jovanovic, Martin T. Vechev
2025 J jnl
CoRR
Robin Staab, Nikola Jovanovic, Kimberly Mai, Prakhar Ganesh, Martin T. Vechev, Ferdinando Fioretto, Matthew Jagielski
2025 J jnl
CoRR
Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev
2025 A* conf
ICLR
Nikola Jovanovic, Robin Staab, Maximilian Baader, Martin T. Vechev
2025 J jnl
CoRR
Thibaud Gloaguen, Robin Staab, Nikola Jovanovic, 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
Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, 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 J jnl
CoRR
Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, 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
SP
Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev
2024 J jnl
CoRR
Robin Staab, Mark Vero, Mislav Balunovic, 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
2024 J jnl
CoRR
Nikola Jovanovic, Robin Staab, Maximilian Baader, Martin T. Vechev
2024 A* conf
ICML
Nikola Jovanovic, Robin Staab, Martin T. Vechev
2024 J jnl
CoRR
Nikola Jovanovic, Robin Staab, Martin T. Vechev
2023 J jnl
Proc. ACM Program. Lang.
Mark Niklas Müller, Marc Fischer, Robin Staab, Martin T. Vechev
2023 J jnl
CoRR
Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev
2023 J jnl
CoRR
Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev
2022 A* conf
ICLR
Mislav Balunovic, Dimitar Iliev Dimitrov, Robin Staab, Martin T. Vechev
2021 J jnl
CoRR
Mislav Balunovic, Dimitar I. Dimitrov, Robin Staab, Martin T. Vechev
2021 J jnl
CoRR
Mark Niklas Müller, Robin Staab, Marc Fischer, Martin T. Vechev