Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
1	The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Numerical software Model checking Neuropsychology Solver Problem solving
2	LNCSModular Synthesis of Sketches Using Models Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Mathematics Function Computability theory Constraint programming Formal methods Theoretical computer science
3	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 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-11 21:16:46 Probability and statistics Statistics Statistical randomness Stochastic computing Applied mathematics Stochastic optimization Artificial neural network Mathematical optimization Stochastic process
4	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, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
5	NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract Add to Reading List Source URL: netcomplete.ethz.ch Language: English - Date: 2018-05-02 12:52:55 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
6	Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-23 19:37:16
7	Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-03-04 09:24:11 Mathematics Mathematical analysis Distribution Functional analysis Parameter space Linear temporal logic BorelKolmogorov paradox
8	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 Add to Reading List Source URL: mitras.ece.illinois.edu Language: English - Date: 2018-07-11 16:52:43 Control theory Systems theory Control engineering Systems science Classical control theory Computational mathematics Mathematical modeling State-space representation
9	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-06 06:27:29 Linear temporal logic Temporal logic Symbol Stochastic game Mathematical optimization Markov decision process Markov chain Probability
10	Overview Representation Synchronization Synthesis Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36

UPDATE