Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

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

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics

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

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

Synthesis Sven S hewe University of Liverpool AVACS Autumn S hool, O tober 2nd , 2015

Source URL: www.avacs.org

• Temporal logic
• Logic in computer science
• Computation tree logic
• Linear temporal logic
• CTL*

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

InLoc: Indoor Visual Localization with Dense Matching and View Synthesis Hajime Taira1 Masatoshi Okutomi1 Torsten Sattler2 Mircea Cimpoi3 Marc Pollefeys2,4 Josef Sivic3,5 Tomas Pajdla3 Akihiko Torii1 1 Tokyo Institute of

Source URL: openaccess.thecvf.com

• Computer vision
• Artificial intelligence
• Vision
• Photogrammetry
• Applications of computer vision
• Image search
• Robot control
• Outline of object recognition
• Conference on Computer Vision and Pattern Recognition
• Structure from motion
• Visual Word
• Pose

Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm

COMMUNICATION DOI: admaMicrowave Synthesis of Water-Dispersed CdTe/CdS/ZnS Core-Shell-Shell Quantum Dots with Excellent Photostability

Source URL: www.sinap.ac.cn

The Synthesis and Accumulation of Resveratrol Are Associated with Veraison and Abscisic Acid Concentration in Beihong (Vitis vinifera Vitis amurensis) Berry Skin

Source URL: klpr.ibcas.ac.cn