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.

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Linear temporal logic
• Temporal logic
• Mathematical logic
• Symbol
• Structure
• Model theory
• Distribution
• operator

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

Source URL: qav.comlab.ox.ac.uk

• Greek letters
• Timed automaton
• Symbol
• Zeta

PDF Document

Source URL: www.mendel-brno.cz

Benjamin Bronni PARTITION #1 15. 11. – Opening on 14 November, 2017 at 6 pm G99 Gallery, The House of the Lords of Kunštát, Dominikánská 9, Brno Curator: Marta Fišerová Cwikl

Source URL: www.dum-umeni.cz

Central European Institute of Technology BRNO | CZECH REPUBLIC Peter Hore Department of Chemistry, University of Oxford, UK

Source URL: www.ivb.cz

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

Source URL: www.motylidalnice.cz

ARCHIVUM MATHEMATICUM (BRNO) Tomus), 79–82 LOWER BOUNDS FOR EXPRESSIONS OF LARGE SIEVE TYPE Jan-Christoph Schlage-Puchta

Source URL: www.math.uni-rostock.de

JARO 2016 (ÚBZ PřF MU – Brno, UK Bohunice, místnost A11/114) Zoologický seminář – program (každý čtvrtek ve 13:.

Source URL: www.ivb.cz

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

Source URL: crocs.fi.muni.cz

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

Source URL: crocs.fi.muni.cz