prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2022

• Planning via model checking with decision-tree controllers

  KIESBYE Jonis GROVER Kush ASHOK Pranav KŘETÍNSKÝ Jan

  Článek ve sborníku

  2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022, rok: 2022

• Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

  CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

  Článek ve sborníku

  Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, rok: 2022

• Value iteration for simple stochastic games: Stopping criterion and learning algorithm

  EISENTRAUT Julia KELMENDI Edon KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek v odborném periodiku

  Information and Computation, rok: 2022, ročník: 285, vydání: 104886, DOI

2021

• Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

  EISENTRAUT Julia HOLZER Stephan KLIOBA Katharina KŘETÍNSKÝ Jan PINK Lukáš WAGNER Alexander

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings, rok: 2021

• dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

  ASHOK Pranav JACKERMEIER Mathias KŘETÍNSKÝ Jan WEINHUBER Christoph WEININGER Maximilian YADAV Mayank

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, rok: 2021

• Enforcing ω-Regular Properties in Markov Chains by Restarting

  ESPARZA Javier KIEFER Stefan KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek ve sborníku

  32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., rok: 2021

• Formalizing and guaranteeing human-robot interaction

  KRESS-GAZIT Hadas EDER Kerstin HOFFMAN Guy ADMONI Henny ARGALL Brenna EHLERS Rüdiger HECKMAN Christoffer JANSEN Nils KNEPPER Ross A KŘETÍNSKÝ Jan LEVY-TZEDEK Shelly LI Jamy MURPHEY Todd D RIEK Laurel D SADIGH Dorsa

  Článek v odborném periodiku

  Communications of the ACM, rok: 2021, ročník: 64, vydání: 9, DOI

• Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks

  HASHEMI Vahid KŘETÍNSKÝ Jan MOHR Stefanie SEFERIS Emmanouil

  Článek ve sborníku

  Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, rok: 2021

• Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games

  WEININGER Maximilian GROVER Kush MISRA Shruti KŘETÍNSKÝ Jan

  Článek ve sborníku

  2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, rok: 2021

• LTL-Constrained Steady-State Policy Synthesis

  KŘETÍNSKÝ Jan

  Článek ve sborníku

  Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021., rok: 2021