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![](/pdf-icon.png) | Add to Reading ListSource URL: www.mendel-brno.cz- Date: 2017-06-30 04:33:19
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: www.dum-umeni.czLanguage: English - Date: 2017-12-07 08:22:32
|
---|
5![Central European Institute of Technology BRNO | CZECH REPUBLIC Peter Hore Department of Chemistry, University of Oxford, UK Central European Institute of Technology BRNO | CZECH REPUBLIC Peter Hore Department of Chemistry, University of Oxford, UK](https://www.pdfsearch.io/img/20fe7be397de74d2e3ef5b6d6982589e.jpg) | Add to Reading ListSource URL: www.ivb.czLanguage: English - Date: 2015-09-22 02:54:37
|
---|
6![Motorway edges as refugee for butterflies – preliminary results of case study from the Czech Republic Vladimír Hula and Jana Niedobová Department of Zoology, Faculty of Agronomy, Mendel University Brno Motorway edges as refugee for butterflies – preliminary results of case study from the Czech Republic Vladimír Hula and Jana Niedobová Department of Zoology, Faculty of Agronomy, Mendel University Brno](https://www.pdfsearch.io/img/d56d35aa67a2cacb1535032d7dd99ee2.jpg) | Add to Reading ListSource URL: www.motylidalnice.czLanguage: English - Date: 2016-09-13 04:36:44
|
---|
7![ARCHIVUM MATHEMATICUM (BRNO) Tomus), 79–82 LOWER BOUNDS FOR EXPRESSIONS OF LARGE SIEVE TYPE Jan-Christoph Schlage-Puchta ARCHIVUM MATHEMATICUM (BRNO) Tomus), 79–82 LOWER BOUNDS FOR EXPRESSIONS OF LARGE SIEVE TYPE Jan-Christoph Schlage-Puchta](https://www.pdfsearch.io/img/2370f5cb258dff464b47ccf293d6ae9d.jpg) | Add to Reading ListSource URL: www.math.uni-rostock.deLanguage: English - Date: 2012-11-08 06:22:56
|
---|
8![JARO 2016 (ÚBZ PřF MU – Brno, UK Bohunice, místnost A11/114) Zoologický seminář – program (každý čtvrtek ve 13:. JARO 2016 (ÚBZ PřF MU – Brno, UK Bohunice, místnost A11/114) Zoologický seminář – program (každý čtvrtek ve 13:.](https://www.pdfsearch.io/img/d27d0fb4693a50cc675616c8c4120ee2.jpg) | Add to Reading ListSource URL: www.ivb.czLanguage: Czech - Date: 2016-04-04 02:19:04
|
---|
9![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
|
---|
10![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
|
---|