A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

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

• I1
• Garbage collection

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

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

• Mathematics
• Algebra
• Abstract algebra
• Distribution
• Number theory
• Valuation
• Universal property
• BorelKolmogorov paradox

Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera

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

• Mathematics
• Mathematical analysis
• Mathematical logic
• Boolean algebra
• Experiment
• Measure theory
• Sigma-algebra
• Symbol
• Lie algebras
• Moschovakis coding lemma
• Generalised Whitehead product

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

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

• Uniform polyhedra
• Prism
• PRISM model checker
• Model checking
• Grip

British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGY

Source URL: www.psychologywriter.org.uk

• Exercise physiology
• Sports
• Biology
• Medicine
• Central governor
• Long-distance running
• Fatigue

FOCUS OUR GUIDE TO SOLUTIONS

Source URL: assets.focus-solutions.co.uk

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

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

• Artificial neural networks
• Mathematics
• Computational neuroscience
• Applied mathematics
• Mathematical analysis
• Lipschitz continuity
• operator
• Continuous function
• Gradient descent
• Convolutional neural network
• Rectifier
• Deep learning

Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2

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

• Mathematical analysis
• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Sigma-algebra

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

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

• Debugging
• Logic in computer science
• Runtime verification
• Software optimization
• Computing
• Instrumentation
• Tracing
• Information technology management
• Management

1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live

Source URL: www0.cs.ucl.ac.uk

• Computing
• Internet architecture
• Information and communications technology
• Network architecture
• Emerging technologies
• Routing algorithms
• Routing
• Forwarding information base
• Link-state routing protocol
• Functional programming
• OpenFlow
• Network function virtualization