PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2

Source URL: www.prismmodelchecker.org

• Microeconomics
• Game theory
• Economics
• Applied mathematics
• Non-cooperative games
• Mathematical optimization
• Nash equilibrium
• Stochastic game
• Zero-sum game
• Pareto efficiency
• Strategy

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

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

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

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

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

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

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

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

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to

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

• Formal methods
• Model checkers
• Metaphysics
• Model checking
• Theoretical computer science
• PRISM model checker
• Computing
• Refinement
• Abstraction
• Markov chain
• Stochastic

Programming Discrete Distributions with Chemical Reaction Networks∗ Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 2

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

• Mathematical analysis
• Mathematics
• Statistical theory
• Poisson distribution
• Distribution
• Probability distribution
• Binomial distribution
• Markov chain
• Uniform distribution
• Random variable

Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

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

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics