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

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

Source URL: cgi.csc.liv.ac.uk

• Temporal logic
• Logic in computer science
• Model checkers
• Linear temporal logic
• Computation tree logic
• Model checking
• PAT
• Synthesis
• Mathematics

Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt

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

Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b

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

• Symbol
• Linear temporal logic
• Constructible universe
• Markov chain
• Probabilistic logic
• Logic
• Mathematics
• Epistemology

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

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–30) EXT-ANALOGUES OF BRANCHING LAWS Dipendra Prasad

Source URL: eta.impa.br

• Abstract algebra
• Algebra
• Mathematics
• Representation theory
• Lie groups
• Group theory
• Reductive group
• Tempered representation
• Projective representation
• Group representation
• Admissible representation
• Compact group

BEARDLESS IRIS CULTURE FOR JAPANESE IRISES No other iris is influenced to as great a degree by culture as are the Japanese Iris. Good culture will increase height, branching, flower size and quantity and quality of bloo

Source URL: irises.org

Git Branching for Continuous Delivery Auto mat Sarah Goff-Dupont

Source URL: releng.polymtl.ca

Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie}@iro.umontreal.ca

Source URL: www7.in.tum.de

Journal of Semantics 26: 367–392 doi:jos/ffp008 Advance Access publication July 27, 2009 Branching Quantification v. Two-way Quantification NINA GIERASIMCZUK AND JAKUB SZYMANIK

Source URL: jakubszymanik.com