Marta - PDFSEARCH.IO - Document Search Engine

Marta
Results: 2072

#	Item
31	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
32	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
33	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: qav.comlab.ox.ac.uk Language: English - Date: 2012-07-04 05:45:30 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
34	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
35	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2018-06-20 05:17:28 Security engineering Biometrics Cryptography Prevention Surveillance Security Identification Authentication Facial recognition system Password Computer security Replay attack
36	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
37	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
38	Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem
39	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-03-30 13:03:10 Computational complexity theory Dynamic programming Markov processes Stochastic control Analysis of algorithms Markov decision process Reinforcement learning Time complexity PP Reachability
40	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

UPDATE