Vojtech Rehák

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 29

Top Topics

Policy Iteration

Top Venues

Publications

David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. AAAI (2024)
Matej Lang, Adam J. Stepanek, Róbert Zvara, Vojtech Rehák, Barbora Kozlíková
Who Let the Guards Out: Visual Support for Patrolling Games. CoRR (2024)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI (2023)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. IJCAI (2023)
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. CoRR (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly adaptation of patrolling strategies in changing environments. UAI (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. IJCAI (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR (2021)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI (2021)
David Klaska, Antonín Kucera, Vojtech Rehák
Adversarial Patrolling with Drones. AAMAS (2020)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Milan Patnaik, V. Kamakoti, Vashek Matyas, Vojtech Rehák
PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks. IEEE Trans. Cogn. Commun. Netw. 5 (2) (2019)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Solving Patrolling Problems in the Internet Environment. IJCAI (2018)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR (2018)
David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. AAMAS (2018)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. CoRR (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. ATVA (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR (2017)
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. IFM (2016)
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. MASCOTS (2016)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST (2015)
Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy
Strategy Synthesis in Adversarial Patrolling Games. CoRR (2015)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR (2014)
Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál
Solving adversarial patrolling games with bounded error: (extended abstract). AAMAS (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-type Approximation. CoRR (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-Type Approximation. EPEW (2014)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
On time-average limits in deterministic and stochastic petri nets. ICPE (2013)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic CoRR (2012)
Martin Chmelik, Vojtech Rehák
Controllable-Choice Message Sequence Graphs. MEMICS (2012)
Tomás Babiak, Vojtech Rehák, Jan Strejcek
Almost linear Büchi automata. Math. Struct. Comput. Sci. 22 (2) (2012)
Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák
Verification of Open Interactive Markov Chains. FSTTCS (2012)
Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák
Sequence Chart Studio. ACSD (2012)
Martin Chmelik, Vojtech Rehák
Controllable-choice Message Sequence Graphs CoRR (2012)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS (2012)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring performance of continuous-time stochastic processes using timed automata. HSCC (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR (2010)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness CoRR (2010)
Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët
Decidable Race Condition and Open Coregions in HMSC. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On decidability of LTL model checking for process rewrite systems. Acta Informatica 46 (1) (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. INFINITY (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Reachability is decidable for weakly extended process rewrite systems. Inf. Comput. 207 (6) (2009)
Tomás Babiak, Vojtech Rehák, Jan Strejcek
Almost Linear Büchi Automata EXPRESS (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Petri nets are less expressive than state-extended PA. Theor. Comput. Sci. 394 (1-2) (2008)
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Decidability of LTL Model Checking for Process Rewrite Systems. FSTTCS (2006)
Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC (2006)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Refining the Undecidability Border of Weak Bisimilarity. INFINITY (2005)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS (2005)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR (2004)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. INFINITY (2003)