Publikace
- Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (2020)
- Barrifier (2018)
- TopDeg (2012)
- Tschechische Akademie der Wissenschaften: Chancen für top-Forscher aus dem Ausland (2012)
- Vědci už mohou cestovat, ale ještě tu není mobilita (2012)
- Hybrid dynamical systems: verification and error trajectory search (2010)
- Guaranteed Termination in the Verification of LTL Properties of Non-Linear Robust Discrete Time Hybrid Systems (2007)
- System RSOLVER (2006)
- System HSOLVER (2006)
Projekty
- Kvazirozhodovací procedury pro logické teorie reálných funkcí (2021–2024)
- Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací (2015–2017)
- Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti (2012–2014)
- Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (2010–2012)
- Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek (2008–2010)