Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
51	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
52	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process
53	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:40:49 Scheduling Operations research Business Economy Production planning Combinatorial optimization Planning Mathematics Schedule Branch and bound Mathematical optimization Linear programming
54	Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens Wiltsche Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-05-16 17:33:04 Microeconomics Economy Avionics Robotics Unmanned aerial vehicle Wireless Pareto efficiency Workload Business
55	Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-03-10 10:23:58 Computing Electronic engineering Theoretical computer science Electronic design automation Service choreography Formal verification Orchestration Autonomic computing Transition Business Process Execution Language High-level synthesis Systems engineering
56	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process
57	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Concurrent computing Theoretical computer science Computer programming Refinement Abstract interpretation Memory barrier Abstraction Algorithm Thread
58	Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:48 Mathematical logic Theoretical computer science Mathematics Quantification Logic in computer science Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Universal quantification True quantified Boolean formula
59	©Copyright 2015 Daniel Perelman Program Synthesis Without Full Specifications for Novel Applications Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-06-16 13:45:52 Software engineering Computing Computer programming Algorithm Mathematical logic Theoretical computer science JavaScript Eval Futures and promises
60	PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2 Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-01-04 05:28:26 Microeconomics Game theory Economics Applied mathematics Non-cooperative games Mathematical optimization Nash equilibrium Stochastic game Zero-sum game Pareto efficiency Strategy