( en | de | ru )

 

Disambiguierung von "Rehák, Vojtech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis.

, , , , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vojtech Buzek

Ursula Vojtech

Johann Vojtech

Martin Rehak

Walter Rehak

 

Weitere Publikationen von Autoren mit dem selben Namen

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness, , , und . CoRR, (2010)Almost linear Büchi automata., , und . Math. Struct. Comput. Sci., 22 (2): 203-235 (2012)Dealing with Zero Density Using Piecewise Phase-Type Approximation., , und . EPEW, Volume 8721 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2014)On decidability of LTL model checking for process rewrite systems., , , und . Acta Inf., 46 (1): 1-28 (2009)Almost Linear Büchi Automata, , und . EXPRESS, Volume 8 von EPTCS, Seite 16-25. (2009)Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games., , , und . AAMAS, Seite 659-666. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)On Decidability of LTL+Past Model Checking for Process Rewrite Systems., , und . INFINITY, Volume 239 von Electronic Notes in Theoretical Computer Science, Seite 105-117. Elsevier, (2009)Synthesis of Optimal Resilient Control Strategies., , , und . CoRR, (2017)Decidable Race Condition and Open Coregions in HMSC., , , und . ECEASST, (2010)Solving Patrolling Problems in the Internet Environment., , und . IJCAI, Seite 121-127. ijcai.org, (2018)