Rational Verification for Probabilistic Systems.

Julian Gutierrez Lewis Hammond Anthony W. Lin Muhammad Najib Michael J. Wooldridge

Published in: CoRR (2021)

Keyphrases

distributed systems
intelligent systems
asynchronous circuits
real time
decision making
bayesian networks
expert systems
computer systems
building blocks
complex systems
data sets
knowledge base
reinforcement learning
management system
automated verification