Ox - PDFSEARCH.IO - Document Search Engine

Ox
Results: 11391

#	Item
121	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-09-12 07:46:02 Mathematical optimization Systems science Engineering Analysis Vilfredo Pareto Design of experiments Systems engineering Engineering statistics Pareto efficiency Optimal design PRISM model checker Reliability engineering
122	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-25 05:08:25 Mathematical analysis Temporal logic Mathematics Computation tree logic Logic in computer science Determinacy Distribution Linear temporal logic Universal representation
123	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
124	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
125	On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-07-29 05:44:10 Formal methods Model checkers Metaphysics Model checking Theoretical computer science PRISM model checker Computing Refinement Abstraction Markov chain Stochastic
126	Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-11-30 12:14:57 Experiment Mathematical optimization Vilfredo Pareto Microeconomics Multi-objective optimization Multiple-criteria decision analysis Probability space Event Markov decision process Pareto efficiency Mathematical analysis Economics
127	Programming Discrete Distributions with Chemical Reaction Networks∗ Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:21:41 Mathematical analysis Mathematics Statistical theory Poisson distribution Distribution Probability distribution Binomial distribution Markov chain Uniform distribution Random variable
128	Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-03-24 08:41:21 Linear temporal logic Temporal logic Control theory Applied mathematics Systems science Mathematics
129	Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-06 07:00:48 Mathematics Mathematical analysis Poisson distribution Distribution Markov chain Valuation Binomial distribution Probability distribution Random variable
130	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory

UPDATE