Rational Verification for Probabilistic Systems.
Julian GutierrezLewis HammondAnthony W. LinMuhammad NajibMichael J. WooldridgePublished in: KR (2021)
Keyphrases
- formal methods
- probabilistic model
- databases
- management system
- distributed systems
- learning systems
- intelligent systems
- database
- reinforcement learning
- data sets
- data structure
- decision making
- data driven
- learning algorithm
- computer systems
- knowledge based systems
- building blocks
- data mining
- retrieval systems
- computing systems