Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation
Křetínský, J., Rieder, S., Schwalbe, G. & Shoeb, Y., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 274-295 22 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Azeem, M., Chakraborty, D., Kanav, S., Křetínský, J., Mohagheghi, M., Mohr, S. & Weininger, M., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 97-120 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15530 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Kanav, S., Křetínský, J. & Rieder, S., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 39-65 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review