Dr Sergiy Bogomolov
Dr Kostiantyn Potomkin
Dr Sadegh Soudjani
Dr Paolo Zuliani
| Safe Reach Set Computation via Neural Barrier Certificates | 2024 |
|
Dr Abolfazl Lavaei
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
| ARCH-COMP23 Category Report: Stochastic Models | 2023 |
|
Dr Abolfazl Lavaei
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
| ARCH-COMP21 Category Report: Stochastic Models | 2021 |
|
