MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a

Source URL: pages.di.unipi.it

• Theoretical computer science
• Stochastic processes
• Formal languages
• Logic in computer science
• Stochastic simulation
• Rewriting

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: www.prismmodelchecker.org

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: www.prismmodelchecker.org

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model

Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska

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

Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

Source URL: shukla.io

• Metaphysics
• Mathematics
• Applied mathematics
• Computational neuroscience
• Graph theory
• Artificial neural network
• Market research
• Mathematical psychology
• Bayesian network
• Causality
• Graph rewriting
• Motion planning

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

An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Mathematics
• Formal languages
• Combinatorics
• Theoretical computer science
• Mathematical logic
• Combinatorics on words
• Data types
• Order theory
• Multiset
• Rewriting
• Path ordering
• L-system

Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018

Source URL: eta.impa.br

• Numerical analysis
• Dynamical systems
• Classical mechanics
• Hamiltonian mechanics
• Symplectic integrator
• Mathematical optimization
• Gradient descent
• Leapfrog integration
• Bregman Lagrangian
• Lagrangian mechanics
• Bregman divergence

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

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