共 50 条
- [43] Value Iteration for Long-Run Average Reward in Markov Decision Processes COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 201 - 221
- [46] Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W), 2018, : 194 - 199