Jiřina Vejnarová

Symbolic and Quantitative Approaches to Reasoning with Uncertainty