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

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model

State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which

Source URL: www.dcs.ed.ac.uk

• PEPA
• Process calculi
• Process calculus
• Client

A Tutorial on Quantitative Trajectory Evaluation for Visual(-Inertial) Odometry Zichao Zhang, Davide Scaramuzza Abstract— In this tutorial, we provide principled methods to quantitatively evaluate the quality of an est

Source URL: rpg.ifi.uzh.ch

• Mechanics
• Physics
• Classical mechanics
• Robotic sensing
• Mechanical engineering
• Ballistics
• Theory of relativity
• Visual odometry
• Trajectory
• Inertial frame of reference
• Data transformation
• State observer

Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Artificial intelligence
• Planning Domain Definition Language
• Mathematical optimization
• Model checking
• Heuristic
• Motion planning
• Genetic algorithm
• Protein domain
• Cognitive science
• Learning

Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Moduli theory
• String theory
• Symplectic topology
• Algebraic geometry
• GromovWitten invariant
• Quantum cohomology
• Moduli of algebraic curves
• Stable map
• Orbifold

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: isabelle.in.tum.de

Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Source URL: publish.illinois.edu

On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Maximum satisfiability problem
• Unit propagation

Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical

Source URL: eta.impa.br

• Statistical randomness
• Stochastic processes
• Complex analysis
• Statistical mechanics
• Lvy processes
• SchrammLoewner evolution
• Loop-erased random walk
• Conformal loop ensemble
• Brownian motion
• Gaussian free field
• Random walk
• Wiener process

CONTRACTING AUTOMORPHISMS AND Lp -COHOMOLOGY IN DEGREE ONE YVES DE CORNULIER, ROMAIN TESSERA Abstract. We characterize those Lie groups (as well as algebraic groups over a local field of characteristic zero) whose first

Source URL: www.normalesup.org

• Geometry
• Group theory
• Mathematics
• Lie groups
• Geometric group theory
• Topological groups
• Fourier analysis
• Hyperbolic geometry
• Linear algebraic group
• Group action
• Hyperbolic group
• Compact group