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

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

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

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´

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Symbol
• Differential topology
• Lifting theory
• Jet bundle

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

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

• Mathematics
• Formal languages
• Finite automata
• Model checking
• Mathematical logic
• Omega language
• Theory of computation
• Muller automaton
• Sigma-algebra
• Tree
• Structure
• Measure

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

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

Source URL: crocs.fi.muni.cz

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

Source URL: www.mirgorod.uph.edu.pl

Constructing empirical tests of randomness ˇ Marek S´ys, Petr Svenda, Martin Ukrop, Vashek Maty´asˇ Masaryk University, Botanicka 68a, Brno, Czech Republic syso, svenda, ,

Source URL: crocs.fi.muni.cz