1![Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic.](https://www.pdfsearch.io/img/93c248430638db372127e953cc438293.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:48:09
|
---|
2![Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu](https://www.pdfsearch.io/img/0260a8bf18b1f77dddbb0682747c96a8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-06-15 16:26:37
|
---|
3![Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr](https://www.pdfsearch.io/img/0aebf86ff6f8ab7d084a910fe76f70b8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:02:39
|
---|
4![Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´](https://www.pdfsearch.io/img/cf9b89fc0079c800505a2389caf0fffc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:33:37
|
---|
5![Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B](https://www.pdfsearch.io/img/9541ef10620d78537f486da1b75fcc15.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:40:50
|
---|
6![On the origin of yet another channel ˇ Petr Svenda and V´aclav Maty´aˇs {svenda, matyas}@fi.muni.cz Masaryk University, Brno, Czech Republic On the origin of yet another channel ˇ Petr Svenda and V´aclav Maty´aˇs {svenda, matyas}@fi.muni.cz Masaryk University, Brno, Czech Republic](https://www.pdfsearch.io/img/96c1eb22a2dd59c32d5955d44776cb67.jpg) | Add to Reading ListSource URL: crocs.fi.muni.czLanguage: English - Date: 2014-09-16 13:38:14
|
---|
7![1 New results on reduced-round Tiny Encryption Algorithm using genetic programming Karel Kubíˇcek, Jiˇrí Novotný, Petr Švenda, Martin Ukrop Masaryk University, Brno, Czech Republic 1 New results on reduced-round Tiny Encryption Algorithm using genetic programming Karel Kubíˇcek, Jiˇrí Novotný, Petr Švenda, Martin Ukrop Masaryk University, Brno, Czech Republic](https://www.pdfsearch.io/img/97d5833224835d609a61a4acd276616e.jpg) | Add to Reading ListSource URL: crocs.fi.muni.czLanguage: English - Date: 2018-04-25 10:30:18
|
---|
8![The Million-Key Question – Investigating the Origins of RSA Public Keys ˇ Petr Svenda, Mat´usˇ Nemec, Peter Sekan, Rudolf Kvaˇsnˇ ovsk´y, David Form´anek, David Kom´arek and Vashek Maty´asˇ Masaryk University The Million-Key Question – Investigating the Origins of RSA Public Keys ˇ Petr Svenda, Mat´usˇ Nemec, Peter Sekan, Rudolf Kvaˇsnˇ ovsk´y, David Form´anek, David Kom´arek and Vashek Maty´asˇ Masaryk University](https://www.pdfsearch.io/img/82dc7c187899500f9311bc311f810159.jpg) | Add to Reading ListSource URL: crocs.fi.muni.czLanguage: English - Date: 2016-08-10 19:13:56
|
---|
9![Ivo Pospíšil – Masaryk University, Department of Slavonic Studies Arna Nováka 1/1, Brno, Czech Republic Leonid Heller – Université de Lausanne – Bâtiment Anthropole, CH1015, Lausanne-Dorigny, Switzerlan Ivo Pospíšil – Masaryk University, Department of Slavonic Studies Arna Nováka 1/1, Brno, Czech Republic Leonid Heller – Université de Lausanne – Bâtiment Anthropole, CH1015, Lausanne-Dorigny, Switzerlan](https://www.pdfsearch.io/img/354f5cf1f241949f8b723e64cbc622ce.jpg) | Add to Reading ListSource URL: www.mirgorod.uph.edu.plLanguage: English - Date: 2017-04-26 02:35:36
|
---|
10![Constructing empirical tests of randomness ˇ Marek S´ys, Petr Svenda, Martin Ukrop, Vashek Maty´asˇ Masaryk University, Botanicka 68a, Brno, Czech Republic syso, svenda, , Constructing empirical tests of randomness ˇ Marek S´ys, Petr Svenda, Martin Ukrop, Vashek Maty´asˇ Masaryk University, Botanicka 68a, Brno, Czech Republic syso, svenda, ,](https://www.pdfsearch.io/img/8531bee926ebe5648db72f1ffac0e10e.jpg) | Add to Reading ListSource URL: crocs.fi.muni.czLanguage: English - Date: 2018-04-25 10:30:18
|
---|