Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Brázdil, Tomáš
162  Ergebnisse:
Personensuche X
?
1

A Summary and Personal Perspective on Recent Advances in Pr..:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Brázdil, Tomáš - p. 148-154 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Interpreting convolutional neural network classifiers appli..:

Képeš, Erik ; Vrábel, Jakub ; Brázdil, Tomáš...
Talanta.  266 (2024)  - p. 124946 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Privacy risks of whole-slide image sharing in digital patho..:

Holub, Petr ; Müller, Heimo ; Bíl, Tomáš...
Nature Communications.  14 (2023)  1 - p. , 2023
Link: https://doi.org/10.1038/..
 
?
4

Shedding light on the black box of a neural network used to..:

Gallo, Matej ; Krajňanský, Vojtěch ; Nenutil, Rudolf..
New Biotechnology.  78 (2023)  - p. 52-67 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Automated annotations of epithelial cells and stroma in hem..:

Brázdil, Tomáš ; Gallo, Matej ; Nenutil, Rudolf...
The Journal of Pathology: Clinical Research.  8 (2021)  2 - p. 129-142 , 2021
Link: https://doi.org/10.1002/..
 
?
6

Qualitative Controller Synthesis for Consumption Markov Dec..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Blahoudek, František ; Brázdil, Tomáš ; Novotný, Petr... - p. 421-447 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Deciding Fast Termination for Probabilistic VASS with Nonde..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín.. - p. 462-478 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Strategy Representation by Decision Trees with Linear Class..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Ashok, Pranav ; Brázdil, Tomáš ; Chatterjee, Krishnendu... - p. 109-128 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Monte Carlo Tree Search for Verifying Reachability in Marko..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification; Lecture Notes in Computer Science,
Ashok, Pranav ; Brázdil, Tomáš ; Křetínský, Jan. - p. 322-335 , 2018
Link: https://doi.org/10.1007/..
 
?
10

Strategy Representation by Decision Trees in Reactive Synth..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Brázdil, Tomáš ; Chatterjee, Krishnendu ; Křetínský, Jan. - p. 385-407 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Efficient Algorithms for Asymptotic Bounds on Termination T..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín... - p. 185-194 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Trading performance for stability in Markov decision proces..:

Brázdil, Tomáš ; Chatterjee, Krishnendu ; Forejt, Vojtěch.
Journal of Computer and System Sciences.  84 (2017)  - p. 144-170 , 2017
Link: https://doi.org/10.1016/..
 
?
13

Policy learning in continuous-time Markov decision processe..:

Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš..
Performance Evaluation.  116 (2017)  - p. 84-100 , 2017
Link: https://doi.org/10.1016/..
 
?
14

Stochastic Shortest Path with Energy Constraints in POMDPs ..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
Brázdil, Tomáš ; Chatterjee, Krishnendu ; Chmelík, Martin.. - p. 1465-1466 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Runtime analysis of probabilistic programs with unbounded r..:

Brázdil, Tomáš ; Kiefer, Stefan ; Kučera, Antonín.
Journal of Computer and System Sciences.  81 (2015)  1 - p. 288-310 , 2015
Link: https://doi.org/10.1016/..
 
1-15