Performance-Oriented Refinement

Abstract

We introduce the probabilistic action system formalism which combines refinement with performance. Performance is expressed by means of probability and expected costs. Probability is needed to express uncertainty present in physical environments. Expected costs express physical or abstract quantities that describe a system. They encode the performance… (More)

Topics

15 Figures and Tables

Slides referencing similar topics