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

Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

Source URL: www.dcs.ed.ac.uk

• Signal transduction
• Cell signaling
• Protein kinase inhibitors
• MAPK/ERK pathway
• Raf kinase inhibitor protein
• RAF kinase
• Metabolic pathway
• Pathway
• C-Raf

Reasoning about Cognitive Trust in Stochastic Multiagent Systems

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

• Temporal logic
• Linear temporal logic
• Computation tree logic
• Operator
• Cone
• Mathematics
• Mathematical logic
• Philosophy of science

Stochastic F0 Contour Model Based on the Clustering of F0 Shapes of a Syntactic Unit Yoichi Yamashita and Tomoyoshi Ishida Department of Computer Science, Ritsumeikan University, Japan {yama,tomoyosi }@slp.cs.ritsumei.ac

Source URL: www.slp.is.ritsumei.ac.jp

2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

Source URL: dorsa.fyi

EE363 WinterLecture 10 Linear Quadratic Stochastic Control with

Source URL: stanford.edu

ECEFallSyllabus Robust and Stochastic Optimization

Source URL: bitar.engineering.cornell.edu

A PDE APPROACH TO REGULARIZATION IN DEEP LEARNING ADAM OBERMAN JOINT WORK WITH CHAUDHARI, OSHER, SOATTO AND CARLIER The fundamental tool for training deep neural networks is Stochastic Gradient

Source URL: cmx.caltech.edu

Stochastic Alternating Direction Method of Multipliers

Source URL: proceedings.mlr.press