Name Card

Full name Familienname, Vorname
Brázdil, Tomáš
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian Efficient Algorithms for Asymptotic Bounds on Termination Time in VASSKonferenzbeitrag Inproceedings 2018
2Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš ; Milios, Dimitrios ; Sanguinetti, Guido Policy learning in Continuous-Time Markov Decision Processes using Gaussian ProcessesArtikel Article Nov-2017