Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• Stochastic game
• Mathematical optimization
• Markov decision process
• Markov chain
• Probability

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Chenyang Xu
• Minimal model program
• Fano variety
• Canonical singularity
• Birational geometry
• Projective variety
• Resolution of singularities
• Canonical bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

Source URL: eta.impa.br

• Model theory
• Mathematics
• Mathematical logic
• Metalogic
• Non-standard analysis
• Ultraproduct
• Maryanthe Malliaris
• Ultrafilter
• Saturated model
• O-minimal theory
• Type
• Finite set

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Model theory
• Logic in computer science
• Logical truth
• Philosophy of logic
• Satisfiability
• Convex function
• Universal quantification
• Boolean satisfiability problem

factor prices in general equilibrium factor prices in general equilibrium 1 Introduction At first glance, the Walrasian general equilibrium model does not offer a theory of factor prices. Factors are goods

Source URL: personal.rhul.ac.uk

THE CALKIN ALGEBRA IS NOT COUNTABLY HOMOGENEOUS ILIJAS FARAH AND ILAN HIRSHBERG Abstract. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that th

Source URL: www.math.yorku.ca

A Dynamic Field Theory Based Pilot Model To Control Aircraft Pitch Attitudes Yasin Kaygusuz () TAI, Turkish Aerospace Industries, Fethiye Mah., Havacılık blv. No17, Akıncı, Kazan 06980, Ankara, Tu

Source URL: ceur-ws.org

Persistence and Regularity in Unstable Model Theory by Maryanthe Elizabeth Malliaris A dissertation submitted in partial satisfaction of the requirements for the degree of

Source URL: math.uchicago.edu

THESIS WORK: “PERSISTENCE AND REGULARITY IN UNSTABLE MODEL THEORY” MARYANTHE MALLIARIS Historically one of the great successes of model theory has been Shelah’s stability theory: a program, described in [17], of sh

Source URL: math.uchicago.edu

A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w

Source URL: math.harvard.edu