Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
41	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
42	Network-wide Configuration Synthesis arXiv:1611.02537v1 [cs.NI] 8 Nov 2016 Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨ Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:48 Computing Network architecture Internet architecture Information and communications technology Internet Standards Routing protocols Internet protocols Computer networking Open Shortest Path First Datalog Router Forwarding plane
43	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity
44	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: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
45	MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-02-02 16:39:01 Markov processes Probability theory Probability Dynamic programming Markov decision process Stochastic control Reinforcement learning Memorylessness
46	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes
47	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: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 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
48	PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-04-22 07:56:09 Linear temporal logic Temporal logic Dynamical system Theoretical philosophy Reality
49	Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Logic in computer science Constraint programming Boolean satisfiability problem Electronic design automation DPLL algorithm Conjunctive normal form Boolean
50	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-09 09:35:44 Dynamic programming Markov decision process Stochastic control Symbol Timed automaton Probability and statistics Probability Approximation algorithms Computational complexity theory