2018

• Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín LAMSER Tomáš ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, rok: 2018

• Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Článek ve sborníku

  Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), rok: 2018

• Continuous-Time Markov Decisions Based on Partial Exploration

  ASHOK Pranav BUTKOVA Yuliya HERMANNS Holger KŘETÍNSKÝ Jan

  Článek ve sborníku

  Automated Technology for Verification and Analysis. ATVA 2018, rok: 2018

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik ZULEGER Florian

  Článek ve sborníku

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2018

• Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

  KŘETÍNSKÝ Jan PEREZ Guillermo RASKIN Jean-Francois

  Článek ve sborníku

  29th International Conference on Concurrency Theory (CONCUR 2018), rok: 2018

• Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes

  ASHOK Pranav BRÁZDIL Tomáš KŘETÍNSKÝ Jan SLÁMEČKA Ondřej

  Článek ve sborníku

  Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), rok: 2018

• Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

  KELMENDI Edon KRÄMER Julia KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek ve sborníku

  Computer Aided Verification (CAV 2018), rok: 2018