Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School

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

• Cell biology
• Biology
• Cell signaling
• Tyrosine kinase receptors
• Signal transduction
• Proteins
• Phosphorus
• Fibroblast growth factor receptor
• GRB2
• MAPK/ERK pathway
• Fibroblast growth factor
• FRS2

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

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

• Statistical models
• Probability and statistics
• Statistical theory
• Statistics
• Timed automaton
• Parametric model
• Parameter
• Markov decision process
• Markov chain

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

Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple

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

• Temporal logic
• Mathematics
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Computation tree logic
• IP
• Symbol
• Distribution
• Craig interpolation
• Universal representation

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Arithmetic
• Computing
• Binary arithmetic
• Theory of computation
• Data types
• IEEE standards
• Decimal64 floating-point format
• IEEE 754
• Double-precision floating-point format
• cole normale suprieure de Lyon
• Algorithm

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

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

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

Microsoft Word - Trinity College Gender Pay Reportdocx

Source URL: www.trinity.ox.ac.uk

• Feminist economics
• Equal pay for equal work
• Gender pay gap
• Misogyny
• Discrimination
• Gender
• Income in the United States
• Economy
• Gender equality
• Gender pay gap in the United States
• Gender pay gap in Australia

Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department

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

• Dynamic programming
• Markov processes
• Stochastic control
• Markov decision process
• Approximation algorithms
• Probability
• Computational complexity theory

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

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

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation