@会议记录{kwiatkowska:LIPIcs.ICALP.2016.4,author={Kwiatkowska,Marta Z.},title={{随机博弈的模型检验与策略综合:从理论到实践}},booktitle={第43届国际自动化、语言和编程学术讨论会(ICALP 2016)},页数={4:1--4:18},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-013-2},ISSN={1868-8969},年份={2016年},体积={55},editor={Chatzigiannakis、Ioannis和Mitzenmacher、Michael和Rabani、Yuval和Sangiorgi、Davide},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ICALP.2016.4},URN={URN:nbn:de:0030-drops-62285},doi={10.4230/LIPIcs.ICALP.2016.4},annote={关键词:定量验证,随机博弈,时序逻辑,模型检验,策略综合}}