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

2021

• Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments

  GROVER Kush BARBOSA Fernando S TŮMOVÁ Jana KŘETÍNSKÝ Jan

  Článek ve sborníku

  Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., rok: 2021

2020

• A Unified Translation of Linear Temporal Logic to ω-Automata

  ESPARZA Javier KŘETÍNSKÝ Jan SICKERT Salomon

  Článek v odborném periodiku

  Journal of the ACM, rok: 2020, ročník: 67, vydání: 6, DOI

• Approximating Values of Generalized-Reachability Stochastic Games

  ASHOK Pranav CHATTERJEE Krishnendu KŘETÍNSKÝ Jan WEININGER Maximilian WINKLER Tobias

  Článek ve sborníku

  LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., rok: 2020

• Automata Tutor v3

  D'ANTONI Loris HELFRICH Martin KŘETÍNSKÝ Jan RAMNEANTU Emanuel WEININGER Maximilian

  Článek ve sborníku

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, rok: 2020

• Comparison of Algorithms for Simple Stochastic Games

  KŘETÍNSKÝ Jan RAMNEANTU Emanuel SLIVINSKIY Alexander WEININGER Maximilian

  Článek ve sborníku

  Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., rok: 2020

• DeepAbstract: Neural Network Abstraction for Accelerating Verification

  ASHOK Pranav HASHEMI Vahid KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, rok: 2020

• dtControl: decision tree learning algorithms for controller representation

  ASHOK Pranav JACKERMEIER Mathias JAGTAP Pushpak KŘETÍNSKÝ Jan WEININGER Maximilian ZAMANI Majid

  Článek ve sborníku

  HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, rok: 2020

• Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward

  KŘETÍNSKÝ Jan MICHEL Fabian MICHEL Lukáš PÉREZ Guillermo A

  Článek ve sborníku

  Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2020, virtual online, August 3-6, 2020, rok: 2020

• Logical vs. behavioural specifications

  BENEŠ Nikola FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel TRAONOUEZ Louis-Marie

  Článek v odborném periodiku

  Information and computation, rok: 2020, ročník: 271, vydání: 104487, DOI

• Of Cores: A Partial-Exploration Framework for Markov Decision Processes

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2020, ročník: 16, vydání: 4