( en | de | ru )

 

Disambiguierung von "Brázdil, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Qualitative Reachability in Stochastic BPA Games

, , , und . CoRR, (2010)

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

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)Solving Patrolling Problems in the Internet Environment., , und . IJCAI, Seite 121-127. ijcai.org, (2018)Runtime Analysis of Probabilistic Programs with Unbounded Recursion., , , und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 319-331. Springer, (2011)Efficient Algorithms for Checking Fast Termination in VASS., , , , und . CoRR, (2017)xOpat: eXplainable Open Pathology Analysis Tool., , , , , , , , , und . Comput. Graph. Forum, 42 (3): 63-73 (Juni 2023)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)Branching-Time Model-Checking of Probabilistic Pushdown Automata., , und . INFINITY, Volume 239 von Electronic Notes in Theoretical Computer Science, Seite 73-83. Elsevier, (2009)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)Zero-reachability in probabilistic multi-counter automata., , , , und . CSL-LICS, Seite 22:1-22:10. ACM, (2014)