Clemens - PDFSEARCH.IO - Document Search Engine

Clemens
Results: 1016

#	Item
1	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
2	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
3	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
4	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
5	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
6	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
7	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
8	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
9	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
10	Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-06-03 18:23:17 Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process