The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

Source URL: www.react.uni-saarland.de

• Numerical software
• Model checking
• Neuropsychology
• Solver
• Problem solving

LNCSModular Synthesis of Sketches Using Models

Source URL: rishabhmit.bitbucket.io

• Mathematics
• Function
• Computability theory
• Constraint programming
• Formal methods
• Theoretical computer science

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

Source URL: arxiv.org

• Probability and statistics
• Statistics
• Statistical randomness
• Stochastic computing
• Applied mathematics
• Stochastic optimization
• Artificial neural network
• Mathematical optimization
• Stochastic process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

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

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: netcomplete.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/

Source URL: con.racket-lang.org

Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·

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

• Mathematics
• Mathematical analysis
• Distribution
• Functional analysis
• Parameter space
• Linear temporal logic
• BorelKolmogorov paradox

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi

Source URL: mitras.ece.illinois.edu

• Control theory
• Systems theory
• Control engineering
• Systems science
• Classical control theory
• Computational mathematics
• Mathematical modeling
• State-space representation

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

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

• Linear temporal logic
• Temporal logic
• Symbol
• Stochastic game
• Mathematical optimization
• Markov decision process
• Markov chain
• Probability

Overview Representation Synchronization Synthesis

Source URL: www.cs.purdue.edu