2017

• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2017

• Policy learning in continuous-time Markov decision processes using Gaussian Processes

  BRÁZDIL Tomáš BARTOCCI Ezio MILIOS Dimitrios SANGUINETTI Guido BORTOLUSSI Luca

  Article in Periodical

  Performance Evaluation, year: 2017, volume: 116, edition: 1, DOI

• Symbiotic 4: Beyond Reachability (Competition Contribution)

  CHALUPA Marek VITOVSKÁ Martina JONÁŠ Martin SLABÝ Jiří STREJČEK Jan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, year: 2017

• Synthesis of Optimal Resilient Control Strategies

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Automated Technology for Verification and Analysis, year: 2017

• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

  SVOREŇOVÁ Mária KŘETÍNSKÝ Jan CHMELÍK Martin CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

  Article in Periodical

  Nonlinear Analysis: Hybrid Systems, year: 2017, volume: 23, edition: February 2017, DOI

• Trading performance for stability in Markov decision processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Article in Periodical

  Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 2017, DOI

2016

• Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

  KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, year: 2016

• MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata

  SICKERT Salomon KŘETÍNSKÝ Jan

  Article in Proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016

• Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent

  BRÁZDIL Tomáš BARTOCCI Ezio MILIOS Dimitrios SANGUINETTI Guido BORTOLUSSI Luca

  Article in Proceedings

  Proceedings of QEST 2016, year: 2016

• Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems

  KUČERA Antonín LAMSER Tomáš

  Article in Proceedings

  Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016