( en | de | ru )

 

Disambiguierung von "Rehák, Vojtech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

Dealing with Zero Density Using Piecewise Phase-Type Approximation., , und . EPEW, Volume 8721 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2014)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)Almost Linear Büchi Automata, , und . EXPRESS, Volume 8 von EPTCS, Seite 16-25. (2009)LTL to Büchi Automata Translation: Fast and More Deterministic., , , und . TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2012)Minimizing Expected Intrusion Detection Time in Adversarial Patrolling., , , und . AAMAS, Seite 1660-1662. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Verifying VHDL Designs with Multiple Clocks in SMV., , , , , und . FMICS/PDMC, Volume 4346 von Lecture Notes in Computer Science, Seite 148-164. Springer, (2006)Mean Payoff Optimization for Systems of Periodic Service and Maintenance., , , und . IJCAI, Seite 5386-5393. ijcai.org, (2023)Controllable-Choice Message Sequence Graphs., und . MEMICS, Volume 7721 von Lecture Notes in Computer Science, Seite 118-130. Springer, (2012)On-the-fly adaptation of patrolling strategies in changing environments., , , , , und . UAI, Volume 180 von Proceedings of Machine Learning Research, Seite 244-254. PMLR, (2022)Solving Patrolling Problems in the Internet Environment., , und . IJCAI, Seite 121-127. ijcai.org, (2018)