<--- Back to Details
First PageDocument Content
Mathematics / Temporal logic / Mathematical analysis / Theoretical computer science / Linear temporal logic / Mathematical logic / Formal languages / Computation tree logic / Constructible universe / Markov decision process / Well-formed formula / IP
Date: 2013-10-04 14:46:58
Mathematics
Temporal logic
Mathematical analysis
Theoretical computer science
Linear temporal logic
Mathematical logic
Formal languages
Computation tree logic
Constructible universe
Markov decision process
Well-formed formula
IP

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Add to Reading List

Source URL: www.prismmodelchecker.org

Download Document from Source Website

File Size: 902,96 KB

Share Document on Facebook

Similar Documents

Mathematical analysis / Mathematics / Functional analysis / Signal processing / Operator theory / Image compression / Wavelet transform / Wavelet / Distribution / Constructible universe / Craig interpolation / Linear temporal logic

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

DocID: 1rrBs - View Document

Homological algebra / Mathematics / Measure theory / Triangulated category / Support / Constructible universe / Algebraic geometry / Generalized functions

275 Documenta Math. The Chow-Witt ring Jean Fasel

DocID: 1rrsY - View Document

Constructible universe / NC / Isocost / Ordinal number / Theoretical computer science / Numerical software / Mathematics

Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation

DocID: 1rrlr - View Document

Mathematical analysis / Statistics / Probability / Probability distributions / Binomial distribution / Gabor filter / Distribution / Constructible universe / Normal distribution / Net / Markov random field / Beta distribution

P1: JSN/VSK P2: JSN International Journal of Computer Vision

DocID: 1rowA - View Document

Mathematics / Mathematical analysis / Analysis / Meromorphic functions / Integer sequences / Infinite product / Multiplication / Gamma function / Series / Riemann zeta function / Constructible universe / Prime number

How Euler Did It by Ed Sandifer Formal Sums and Products July 2006 Two weeks ago at our MAA Section meeting, George Andrews gave a nice talk about the delicate and beautiful relations among infinite sums, infinite produc

DocID: 1rnYz - View Document