Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3

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

• Mathematics
• Mathematical analysis
• Dynamic programming
• Markov processes
• Stochastic control
• Probability
• Markov decision process
• Sigma-algebra
• P versus NP problem
• Reinforcement learning

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

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

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH

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

• Linear temporal logic
• Temporal logic
• Dynamical system
• Theoretical philosophy
• Reality

Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech

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

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

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

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Stability in Graphs and Games Tomáš Brázdil1 , Vojtěch Forejt2 , Antonín Kučera1 , and Petr Novotný

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

• Measure theory
• Mathematics
• Boolean algebra
• Experiment
• Sigma-algebra
• Linear temporal logic
• Analysis
• Differential topology
• Orbifold

MANUFACTURING TECHNOLOGY December 2015, Vol. 15, No. 6 Content 964 – 969 Powder Metallurgical Techniques for Fabrication of Biomaterials Jaroslav Čapek, Dalibor Vojtěch

Source URL: journal.strojirenskatechnologie.cz

Authors: Vojtěch Holubec, Gene bank, Researcher in genetics and

Source URL: holubec.wbs.cz

PHP PARALLEL H ISTORY PROJECT ON NATO AND THE WARSAW PACT Vojtech Mastny, Project Coordinator 1920 North Ode Street, Arlington, Virginia 22209, USA Telephone ++Fax ++

Source URL: www.php.isn.ethz.ch

POKROČILÉ FOTONICKÉ SLUŽBY E-INFRASTRUKTURY ANEB OTEVŘENÝ LINKOVÝ SYSTÉM CZECH LIGHT® Josef Vojtěch Oddělení Optických sítí CESNET

Source URL: konference.cesnet.cz