iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tosem/HeGWWZ16.rdf
Fei He et al.: Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. (2016) journals/tosem/HeGWWZ16 10.1145/2907943 Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. 5 Fei He 0001 1 Xiaowei Gao 2 Miaofei Wang 3 Bow-Yaw Wang 4 Lijun Zhang 0001 5 21:1-21:39 ACM Trans. Softw. Eng. Methodol. ACM Trans. Softw. Eng. Methodol. 25 3 2016 provenance information for RDF data of dblp record 'journals/tosem/HeGWWZ16' 2022-06-16T17:14:43+0200