Performance-Oriented Refinement


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)


15 Figures and Tables

Slides referencing similar topics