Rational Verification with Quantitative Probabilistic Goals.

David Hyland Julian Gutierrez Shankaranarayanan Krishna Michael J. Wooldridge

Published in: AAMAS (2024)

Keyphrases

rational agents
decision making
bayesian networks
probabilistic model
quantitative and qualitative
model checking
data sets
information theoretic
qualitative and quantitative
quantitative measures
probabilistic approaches
data driven
probabilistic reasoning
probabilistic logic
bounded rationality