Vojtech Rehák

65 papers A* 6A 7B 7Journal 31Unranked 14

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