E-LIB Suche - Ergebnisse für: Řehák, Vojtěch

1

Adversarial Patrolling with Drones:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Klaška, David ; Kučera, Antonín ; Řehák, Vojtěch - p. 629-637 , 2020

2

PROLEMus: A Proactive Learning-Based MAC Protocol Against P..:

Patnaik, Milan ; Kamakoti, V. ; Matyas, Vashek.
IEEE Transactions on Cognitive Communications and Networking. 5 (2019) 2 - p. 400-412 , 2019

Link: https://doi.org/10.1109/..

3

Mean-payoff Optimization in Continuous-time Markov Chains w..:

Baier, Christel ; Dubslaff, Clemens ; Korenčiak, L'uboš..
ACM Transactions on Modeling and Computer Simulation (TOMACS). 29 (2019) 4 - p. 1-26 , 2019

Link: https://dl.acm.org/doi/1..

4

Mean-payoff Optimization in Continuous-time Markov Chains w..:

Baier, Christel ; Dubslaff, Clemens ; Korenčiak, L'uboš..
ACM Transactions on Modeling and Computer Simulation. 29 (2019) 4 - p. 1-26 , 2019

Link: https://doi.org/10.1145/..

5

Automatic Synthesis of Efficient Regular Strategies in Adve..:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Klaška, David ; Kučera, Antonín ; Lamser, Tomáś. - p. 659-666 , 2018

Link: https://dl.acm.org/doi/1..

6

Solving adversarial patrolling games with bounded error ..:

, In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems,

Abaffy, Michal ; Brázdil, Tomáš ; Řehák, Vojtěch... - p. 1617-1618 , 2014

Link: https://dl.acm.org/doi/1..

7

On time-average limits in deterministic and stochastic petr..:

, In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering,

Brázdil, Tomáš ; Korenčiak, Luboš ; Krčál, Jan.. - p. 421-422 , 2013

Link: https://dl.acm.org/doi/1..

8

Almost linear Büchi automata:

BABIAK, TOMÁŠ ; ŘEHÁK, VOJTĚCH ; STREJČEK, JAN
Mathematical Structures in Computer Science. 22 (2012) 2 - p. 203-235 , 2012

Link: https://doi.org/10.1017/..

9

Measuring performance of continuous-time stochastic process..:

, In: Proceedings of the 14th international conference on Hybrid systems: computation and control,

Brázdil, Tomás ; Krcál, Jan ; Kretínský, Jan.. - p. 33-42 , 2011

Link: https://dl.acm.org/doi/1..

10

Reachability is decidable for weakly extended process rewri..:

Křetínský, Mojmír ; Řehák, Vojtěch ; Strejček, Jan
Information and Computation. 207 (2009) 6 - p. 671-680 , 2009

Link: https://doi.org/10.1016/..

11

On Decidability of LTL+Past Model Checking for Process Rewr..:

Křetínský, Mojmír ; Řehák, Vojtěch ; Strejček, Jan
Electronic Notes in Theoretical Computer Science. 239 (2009) - p. 105-117 , 2009

Link: https://doi.org/10.1016/..

12

Petri nets are less expressive than state-extended PA:

Křetínský, Mojmír ; Řehák, Vojtěch ; Strejček, Jan
Theoretical Computer Science. 394 (2008) 1-2 - p. 134-140 , 2008

Link: https://doi.org/10.1016/..

13

On decidability of LTL model checking for process rewrite s..:

Bozzelli, Laura ; Křetínský, Mojmír ; Řehák, Vojtěch.
Acta Informatica. 46 (2008) 1 - p. 1-28 , 2008

Link: https://doi.org/10.1007/..

14

Refining the Undecidability Border of Weak Bisimilarity:

Křetínský, Mojmír ; Řehák, Vojtěch ; Strejček, Jan
Electronic Notes in Theoretical Computer Science. 149 (2006) 1 - p. 17-36 , 2006

Link: https://doi.org/10.1016/..

15

On Extensions of Process Rewrite Systems: Rewrite Systems w..:

Křetı́nský, Mojmı́r ; Rehák, Vojtěch ; Strejček, Jan
Electronic Notes in Theoretical Computer Science. 98 (2004) - p. 75-88 , 2004

Link: https://doi.org/10.1016/..