Research output per year
Research output per year
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
-
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
-
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
-
Explaining Control Policies through Predicate Decision Diagrams
Chakraborty, D., Dubslaff, C., Kanav, S., Kretinsky, J. & Weinhuber, C., 21 May 2025, HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week. Association for Computing Machinery, Inc, 4. (HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations