Additional Metadata
Keywords Model Checking, Probability, Uncertainty
THEME Other (theme 6)
Conference Logic and Interactive Rationality Seminar
Citation
van Eijck, D.J.N. (2013, January). Model Checking Uncertainty about Probability.