( en | de | ru )

 

Disambiguierung von "Brázdil, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.

, , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 148-159. Springer, (2008)

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.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Efficient Algorithms for Checking Fast Termination in VASS., , , , und . CoRR, (2017)Efficient Controller Synthesis for Consumption Games with Multiple Resource Types., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 23-38. Springer, (2012)Runtime Analysis of Probabilistic Programs with Unbounded Recursion., , , und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 319-331. Springer, (2011)Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent., , , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 244-259. Springer, (2016)Space-Efficient Scheduling of Stochastically Generated Tasks., , , und . ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 539-550. Springer, (2010)Solving Patrolling Problems in the Internet Environment., , und . IJCAI, Seite 121-127. ijcai.org, (2018)Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives., , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 148-159. Springer, (2008)Continuous-Time Stochastic Games with Time-Bounded Reachability., , , , und . FSTTCS, Volume 4 von LIPIcs, Seite 61-72. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)Qualitative Reachability in Stochastic BPA Games, , , und . CoRR, (2010)