Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Jan Kretinsky aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
Capturing Processes in Probabilistic Timed Automata
Beyel, H. H., Prokop, M., Křetínský, J., De Giacomo, G. & van der Aalst, W. M. P., 2026, Intelligent Information Systems - CAiSE 2026 Forum and Doctoral Consortium, Proceedings. Zerbato, F., Zdravkovic, J., Pufahl, L., Poels, G. & Kirikova, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 98-106 9 S. (Lecture Notes in Business Information Processing; Band 587 LNBIP).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Explainable Representation of Finite-Memory Policies for POMDPs Using Decision Trees
Azeem, M., Chakraborty, D., Kanav, S. & Křetinský, J., 24 Mai 2026, AAMAS 2026 - Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery, Inc, S. 3618-3620 3 S. (AAMAS 2026 - Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 274-295 22 S. (Lecture Notes in Computer Science; Band 16087 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople
Dorfhuber, F., Barrientos, M., Eisentraut, J. & Křetínský, J., 2026, Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Proceedings. Goharshady, A. & Haase, C. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 57-77 21 S. (Lecture Notes in Computer Science; Band 16458 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
Grover, K., Zubia, M., Chakraborty, D., Azeem, M., Jansen, N. & Křetínský, J., 24 Mai 2026, AAMAS 2026 - Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery, Inc, S. 3814-3822 9 S. (AAMAS 2026 - Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access