Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 8 Decent Work and Economic Growth -
SDG 12 Responsible Consumption and Production
Fingerprint
Dive into the research topics where Jan Kretinsky is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
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
Open Access2 Scopus citations -
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Hashemi, V., Křetínský, J., Rieder, S., Schön, T. & Vorhoff, J., 2025, Runtime Verification - 24th International Conference, RV 2024, Proceedings. Ábrahám, E. & Abbas, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 218-228 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15191 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations