2013
Model Checking Uncertainty about Probability
Publication
Publication
Presented at the
Logic and Interactive Rationality Seminar
Additional Metadata | |
---|---|
Model Checking, Probability, Uncertainty | |
Other (theme 6) | |
Logic and Interactive Rationality Seminar | |
Organisation | Software Analysis and Transformation |
van Eijck, D.J.N. (2013, January). Model Checking Uncertainty about Probability.
|