Marta - PDFSEARCH.IO - Document Search Engine

Marta
Results: 2072

#	Item
11	Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-21 06:03:55 Temporal logic Theoretical computer science Probability Markov decision process Markov chain Probabilistic CTL Linear temporal logic Computation tree logic PL
12	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-09 09:40:14 Mathematical analysis Mathematics Distribution Functional analysis Markov chain
13	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: www.prismmodelchecker.org - Date: 2017-10-05 19:55:13
14	Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-08-15 08:49:17 Theoretical computer science Probability Formal methods Logic in computer science Model checkers Dynamic programming Stochastic control Model checking Markov decision process PRISM model checker Verification Runtime verification
15	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
16	Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-04 06:58:47
17	Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-22 10:21:17 Mathematics Mathematical analysis Theoretical computer science Distribution Functional analysis Substitution Denotational semantics Markov chain
18	MARTA Transit Subsidy.pdf Add to Reading List Source URL: transportation.emory.edu Language: English - Date: 2018-06-29 11:27:32 Transport Commuting Metropolitan Atlanta Rapid Transit Authority Carpool Parking
19	Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-12-19 10:53:34 Cell biology Biology Cell signaling Tyrosine kinase receptors Signal transduction Proteins Phosphorus Fibroblast growth factor receptor GRB2 MAPK/ERK pathway Fibroblast growth factor FRS2
20	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain

UPDATE