PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

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

• Theoretical computer science
• Mathematics
• Model checkers
• Temporal logic
• PRISM model checker
• Computation tree logic
• Model checking
• Application software
• Stochastic game
• Strategy
• Stochastic process
• Game theory

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

Google Pixel 2 XL Product environmental report Model G011C, introduced October 4, 2017 Environmental

Source URL: storage.googleapis.com

• Touchscreen mobile phones
• Chemistry
• Pixel 2
• Pixel
• Nature
• Mercury
• Restriction of Hazardous Substances Directive
• AC adapter
• Electric battery
• Universe

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

Source URL: pages.di.unipi.it

• Probabilistic CTL
• Temporal logic
• Markov chain

A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• NP-complete problems
• Electronic design automation
• Formal methods
• Conflict-driven clause learning
• Boolean satisfiability problem
• Clause
• Unit propagation

Kompaktflyer 06: Der Business Model Navigator 2/3

Source URL: gemeinsam-digital.de

Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

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

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator

Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Temporal logic
• Computer science
• Formal methods
• Linear temporal logic
• Model checking
• Amir Pnueli
• French Institute for Research in Computer Science and Automation
• Mathematical logic
• Temporal logic in finite-state verification

Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

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

• Experiment
• Mathematical analysis
• Multi-objective optimization
• Markov decision process
• Probability space
• Event
• Analysis
• Probability and statistics
• Holomorphic functional calculus

Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec

Source URL: uclmr.github.io

• Mathematics
• Differential equations
• Calculus
• Abstraction
• Partial differential equation
• Ordinary differential equation
• Equation
• Artificial neural network
• Linear differential equation
• Numerical methods for ordinary differential equations