default search action
Vojtech Rehák
Person information
- affiliation: Masaryk University, Brno, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c33]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: 20143-20150 - [i21]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 abs/2407.18705 (2024) - 2023
- [c32]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: 171-179 - [c31]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI 2023: 5386-5393 - [i20]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR abs/2305.08555 (2023) - [i19]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 abs/2305.10070 (2023) - [i18]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 abs/2312.12325 (2023) - 2022
- [c30]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS 2022: 1660-1662 - [c29]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
General Optimization Framework for Recurrent Reachability Objectives. IJCAI 2022: 4642-4648 - [c28]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: 244-254 - [i17]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR abs/2202.01095 (2022) - [i16]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
General Optimization Framework for Recurrent Reachability Objectives. CoRR abs/2205.14057 (2022) - [i15]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 abs/2206.08096 (2022) - 2021
- [c27]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI 2021: 471-481 - [i14]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR abs/2108.08950 (2021) - 2020
- [c26]David Klaska, Antonín Kucera, Vojtech Rehák:
Adversarial Patrolling with Drones. AAMAS 2020: 629-637
2010 – 2019
- 2019
- [j7]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): 400-412 (2019) - [j6]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): 28:1-28:26 (2019) - 2018
- [c25]David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák:
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. AAMAS 2018: 659-666 - [c24]Tomás Brázdil, Antonín Kucera, Vojtech Rehák:
Solving Patrolling Problems in the Internet Environment. IJCAI 2018: 121-127 - [i13]Tomás Brázdil, Antonín Kucera, Vojtech Rehák:
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR abs/1805.02861 (2018) - 2017
- [c23]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434 - [c22]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: 190-206 - [i12]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR abs/1706.06486 (2017) - [i11]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. CoRR abs/1707.03223 (2017) - 2016
- [c21]Lubos Korenciak, Vojtech Rehák, Adrian Farmadin:
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. IFM 2016: 130-138 - [c20]Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. MASCOTS 2016: 367-372 - [i10]Lubos Korenciak, Vojtech Rehák, Adrian Farmadin:
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. CoRR abs/1603.03252 (2016) - [i9]Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. CoRR abs/1607.00372 (2016) - 2015
- [c19]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: 141-159 - [i8]Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy:
Strategy Synthesis in Adversarial Patrolling Games. CoRR abs/1507.03407 (2015) - 2014
- [c18]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: 1617-1618 - [c17]Lubos Korenciak, Jan Krcál, Vojtech Rehák:
Dealing with Zero Density Using Piecewise Phase-Type Approximation. EPEW 2014: 119-134 - [i7]Lubos Korenciak, Jan Krcál, Vojtech Rehák:
Dealing with Zero Density Using Piecewise Phase-type Approximation. CoRR abs/1406.7527 (2014) - [i6]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 abs/1407.4777 (2014) - 2013
- [c16]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: 421-422 - 2012
- [j5]Tomás Babiak, Vojtech Rehák, Jan Strejcek:
Almost linear Büchi automata. Math. Struct. Comput. Sci. 22(2): 203-235 (2012) - [c15]Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák:
Sequence Chart Studio. ACSD 2012: 148-153 - [c14]Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Verification of Open Interactive Markov Chains. FSTTCS 2012: 474-485 - [c13]Martin Chmelik, Vojtech Rehák:
Controllable-Choice Message Sequence Graphs. MEMICS 2012: 118-130 - [c12]Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS 2012: 95-109 - [i5]Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
LTL to Büchi Automata Translation: Fast and More Deterministic. CoRR abs/1201.0682 (2012) - [i4]Martin Chmelik, Vojtech Rehák:
Controllable-choice Message Sequence Graphs. CoRR abs/1209.4499 (2012) - 2011
- [c11]Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR 2011: 140-155 - [c10]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: 33-42 - [i3]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 abs/1101.4204 (2011) - [i2]Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. CoRR abs/1106.1424 (2011) - 2010
- [j4]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) - [c9]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: 207-221 - [i1]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 abs/1011.4214 (2010)
2000 – 2009
- 2009
- [j3]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): 1-28 (2009) - [j2]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Reachability is decidable for weakly extended process rewrite systems. Inf. Comput. 207(6): 671-680 (2009) - [c8]Tomás Babiak, Vojtech Rehák, Jan Strejcek:
Almost Linear Büchi Automata. EXPRESS 2009: 16-25 - [c7]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. INFINITY 2009: 105-117 - 2008
- [j1]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Petri nets are less expressive than state-extended PA. Theor. Comput. Sci. 394(1-2): 134-140 (2008) - 2006
- [c6]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: 148-164 - [c5]Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
On Decidability of LTL Model Checking for Process Rewrite Systems. FSTTCS 2006: 248-259 - 2005
- [c4]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS 2005: 213-224 - [c3]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Refining the Undecidability Border of Weak Bisimilarity. INFINITY 2005: 17-36 - 2004
- [c2]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR 2004: 355-370 - 2003
- [c1]Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. INFINITY 2003: 75-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint