| 2025 |
J |
jnl |
CoRR
Ivo Petrov, Jasper Dekoninck, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICLR
Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar I. Dimitrov, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanovic, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICML
Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunovic, Nikola Jovanovic, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin T. Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
|
| 2024 |
A* |
conf |
NeurIPS
Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin T. Vechev
|
| 2017 |
— |
conf |
CinC
Dimiter Simov, Ivaylo Christov, Iana Simova, Mikhail Matveev, Ivo Petrov
|
| 2015 |
— |
conf |
CinC
Dimiter Simov, Ivaylo Christov, Giovanni Bortolan, Mikhail Matveev, Ivo Petrov, Vessela Tz. Krasteva
|