doc. RNDr. Vojtěch Řehák, Ph.D.

2019

• PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks

  PATNAIK Milan KAMAKOTI V. MATYÁŠ Václav ŘEHÁK Vojtěch

  Article in Periodical

  IEEE Transactions on Cognitive Communications and Networking, year: 2019, volume: 5, edition: 2, DOI

2018

• Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

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

  Article in Proceedings

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

• Solving Patrolling Problems in the Internet Environment

  BRÁZDIL Tomáš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., year: 2018

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

• 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

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

• Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

  KORENČIAK Ľuboš ŘEHÁK Vojtěch FARMADIN Adrian

  Article in Proceedings

  Integrated Formal Methods, year: 2016

2015

• Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2015

2014

• Dealing with Zero Density Using Piecewise Phase-Type Approximation

  KORENČIAK Ľuboš KRČÁL Jan ŘEHÁK Vojtěch

  Article in Proceedings

  Computer Performance Engineering, year: 2014

• Solving adversarial patrolling games with bounded error: (extended abstract)

  ABAFFY Michal BRÁZDIL Tomáš ŘEHÁK Vojtěch BOŠANSKÝ Branislav KUČERA Antonín KRČÁL Jan

  Article in Proceedings

  Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 2014