FT D RA Probabilistic Model Checking: Advances and Applications

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

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probabilistic CTL
• Computation tree logic
• Mathematical logic
• Markov decision process
• Markov chain
• IP
• Limit
• Craig interpolation

T DR AF Probabilistic Model Checking for Systems Biology

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

• Temporal logic
• Theoretical computer science
• Linear temporal logic
• Fibroblast growth factor receptor
• Cell biology
• Markov chain
• Markov decision process
• Computation tree logic
• Fibroblast growth factor
• Probabilistic CTL
• Probability

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

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

• Mathematics
• Temporal logic
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Mathematical logic
• Formal languages
• Computation tree logic
• Constructible universe
• Markov decision process
• Well-formed formula
• IP

INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics

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

• Temporal logic
• Mathematical logic
• Theoretical computer science
• Finite model theory
• Linear temporal logic
• Symbol
• FO
• Constructible universe
• IP
• Computation tree logic
• Model theory
• Mathematics

Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt

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

• Dynamic programming
• Markov processes
• Stochastic control
• Markov models
• Probability
• Markov decision process
• Markov chain
• PP
• Probabilistic CTL
• Model checking

QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1

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

• Mathematical analysis
• Temporal logic
• Generalized functions
• Mathematics
• Distribution
• Functional analysis
• Computation tree logic

Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby

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

• Digital electronics
• Electronic engineering
• Electrical engineering
• Logic gates
• Electronics
• Digital systems
• Logic in computer science
• C-element
• Asynchronous circuit
• Chemical reaction network theory
• Flip-flop
• Sequential logic

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

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

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

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

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics

Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

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