Artikel dengan mandat akses publik - Tomas BrazdilPelajari lebih lanjut
Tidak tersedia di mana pun: 1
Stochastic game logic
C Baier, T Brázdil, M Größer, A Kučera
Acta informatica 49, 203-224, 2012
Mandat: German Research Foundation
Tersedia di suatu tempat: 25
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
Two views on multiple mean-payoff objectives in Markov decision processes
T Br, K Chatterjee, V Forejt, A Kucera
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 33-42, 2011
Mandat: Austrian Science Fund
Trading performance for stability in Markov decision processes
T Brázdil, K Chatterjee, V Forejt, A Kučera
Journal of Computer and System Sciences 84, 144-170, 2017
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council
Efficient controller synthesis for consumption games with multiple resource types
T Brázdil, K Chatterjee, A Kučera, P Novotný
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Mandat: Austrian Science Fund
Counterexample explanation by learning small strategies in Markov decision processes
T Brázdil, K Chatterjee, M Chmelík, A Fellner, J Křetínský
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Mandat: Austrian Science Fund, European Commission
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
T Brázdil, K Chatterjee, V Forejt, A Kučera
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Mandat: Austrian Science Fund
Strategy representation by decision trees in reactive synthesis
T Brázdil, K Chatterjee, J Křetínský, V Toman
International Conference on Tools and Algorithms for the Construction and …, 2018
Mandat: Austrian Science Fund, German Research Foundation, European Commission …
Markov decision processes with multiple long-run average objectives
T Brázdil, V Brožek, K Chatterjee, V Forejt, A Kučera
Logical Methods in Computer Science 10, 2014
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council
Verification of open interactive Markov chains
T Brázdil, H Hermanns, J Krcál, J Kretinsky, V Rehák
IARCS Annual Conference on Foundations of Software Technology and …, 2012
Mandat: German Research Foundation
Qualitative controller synthesis for consumption Markov decision processes
F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu
International Conference on Computer Aided Verification, 421-447, 2020
Mandat: US Department of Defense, US National Aeronautics and Space Administration
Efficient algorithms for asymptotic bounds on termination time in VASS
T Brázdil, K Chatterjee, A Kučera, P Novotný, D Velan, F Zuleger
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Mandat: Austrian Science Fund, Vienna Science and Technology Fund, Austria
Privacy risks of whole-slide image sharing in digital pathology
P Holub, H Müller, T Bíl, L Pireddu, M Plass, F Prasser, I Schlünder, ...
Nature Communications 14 (1), 2577, 2023
Mandat: European Commission
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
International Conference on Quantitative Evaluation of Systems, 141-159, 2015
Mandat: Chinese Academy of Sciences, German Research Foundation
Zero-reachability in probabilistic multi-counter automata
T Brázdil, S Kiefer, A Kučera, P Novotný, JP Katoen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
Mandat: German Research Foundation
Monte Carlo tree search for verifying reachability in Markov decision processes
P Ashok, T Brázdil, J Křetínský, O Slámečka
International Symposium on Leveraging Applications of Formal Methods, 322-335, 2018
Mandat: German Research Foundation
Strategy representation by decision trees with linear classifiers
P Ashok, T Brázdil, K Chatterjee, J Křetínský, CH Lampert, V Toman
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
Mandat: Austrian Science Fund, German Research Foundation, Vienna Science and …
Automated annotations of epithelial cells and stroma in hematoxylin–eosin‐stained whole‐slide images using cytokeratin re‐staining
T Brázdil, M Gallo, R Nenutil, A Kubanda, M Toufar, P Holub
The Journal of Pathology: Clinical Research 8 (2), 129-142, 2022
Mandat: European Commission
Deciding fast termination for probabilistic VASS with nondeterminism
T Brázdil, K Chatterjee, A Kučera, P Novotný, D Velan
International Symposium on Automated Technology for Verification and …, 2019
Mandat: Austrian Science Fund, European Commission
Reinforcement learning of risk-constrained policies in Markov decision processes
T Brázdil, K Chatterjee, P Novotný, J Vahala
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9794-9801, 2020
Mandat: Austrian Science Fund, European Commission
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer