( en | de | ru )

 

Disambiguierung von "Brázdil, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On time-average limits in deterministic and stochastic petri nets.

, , , , und . ICPE, Seite 421-422. ACM, (2013)

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 Algorithms for Checking Fast Termination in VASS., , , , und . CoRR, (2017)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 Controller Synthesis for Consumption Games with Multiple Resource Types., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 23-38. 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)Space-Efficient Scheduling of Stochastically Generated Tasks., , , und . ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 539-550. Springer, (2010)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)Model Checking of RegCTL., und . Comput. Artif. Intell., 25 (1): 81-97 (2006)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , und . CoRR, (2024)Reachability in recursive Markov decision processes., , , und . Inf. Comput., 206 (5): 520-537 (2008)