概率环境中的测量与综合系统
@第{Chatterjee2010MeasuringAS条, title={概率环境中的测量和综合系统}, author={克里希南德·查特吉(Krishnendu Chatterjee)和托马斯·A·亨廷格(Thomas A.Henzinger)以及芭芭拉·约斯特曼(Barbara Jobstmann)和罗希特·辛格(Rohit Singh)}, journal={美国医学杂志(JACM)}, 年份={2010}, 体积={62}, 页数={1-34}, url={https://api.semanticscholar.org/CorpusID:1467} }
36引文
LTL规范模式的GR(1)综合
2015
基于线性分类器的决策树策略表示
2019
73参考文献
概率系统的形式化验证
1997
定量语言的表达性和闭包性质
2009