 
Summary: From Measure Theory to CTMDPs
Martin Neuh¨außer
Software Modeling and Verification Group, RWTHAachen
November 9th, 2006
Martin Neuh¨außer (MOVES) From Measure Theory to CTMDPs November 9th, 2006 1 / 1
Introduction to Measure Theory Basic Definitions
Measure Theory
Our Setting
Assume a set , called sample space.
Subsets A of are called events.
Idea: Measure the Øsize  probability  volume  lengthÙ of events!
Intuition: Let È be the outcome of an experiment.
Then A is an event if È A can be decided.
Martin Neuh¨außer (MOVES) From Measure Theory to CTMDPs November 9th, 2006 2 / 1
Introduction to Measure Theory Basic Definitions
Fields and fields
Definition (Field)
A class of subsets F of is a field iff
1 È F.
2 A È F Ac È F.
