doc. RNDr. Vojtěch Řehák, Ph.D.
Vice-dean for curricula and internationalisation, Faculty of Informatics
Office: C436
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4687 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 66
2018
-
Solving Patrolling Problems in the Internet Environment
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
Quantitative Evaluation of Systems, year: 2017
-
Synthesis of Optimal Resilient Control Strategies
Automated Technology for Verification and Analysis, year: 2017
2016
-
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
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
Integrated Formal Methods, year: 2016
2015
-
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Quantitative Evaluation of Systems, year: 2015
2014
-
Dealing with Zero Density Using Piecewise Phase-Type Approximation
Computer Performance Engineering, year: 2014
-
Solving adversarial patrolling games with bounded error: (extended abstract)
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 2014
2013
-
Controllable-choice Message Sequence Graphs
Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers, year: 2013
-
On time-average limits in deterministic and stochastic Petri nets
ACM/SPEC International Conference on Performance Engineering, ICPE'13, year: 2013