doc. RNDr. Vojtěch Řehák, Ph.D.
proděkan pro studijní programy a internacionalizaci Fakulty informatiky
kancelář: C436
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4687 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 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., rok: 2018
2017
-
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Quantitative Evaluation of Systems, rok: 2017
-
Synthesis of Optimal Resilient Control Strategies
Automated Technology for Verification and Analysis, rok: 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, rok: 2016
-
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
Integrated Formal Methods, rok: 2016
2015
-
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Quantitative Evaluation of Systems, rok: 2015
2014
-
Dealing with Zero Density Using Piecewise Phase-Type Approximation
Computer Performance Engineering, rok: 2014
-
Solving adversarial patrolling games with bounded error: (extended abstract)
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), rok: 2014
2013
-
Controllable-choice Message Sequence Graphs
Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers, rok: 2013
-
On time-average limits in deterministic and stochastic Petri nets
ACM/SPEC International Conference on Performance Engineering, ICPE'13, rok: 2013