Approximate Verification of the Symbolic Dynamics of Markov Chains

第三条Dans Une Revue 美国医学会杂志 Anneée:2015年

马尔可夫链符号动力学的近似验证

(1),(2),(3),(4)

1
2
三
4

马宁德拉·阿格拉沃

坎普尔印度理工学院

Sundararaman Akshay公司

计算机科学与工程系[孟买]

布莱斯·基内斯特

大型移动和分布式系统的监管

P.S.蒂亚加拉扬

计算机学院[新加坡]

信息[cs] 奥特[cs.OH]

费歇尔校长

AAGT15.pdf（656.89 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

https://inria.hal.science/hal-00920793

Soumis le:迪曼奇2015年10月18日-17:28:23

Dernière修改le:mercredi 23 aoót 2023-15:34:52

长期档案：jeudi 27 avril 2017-06:36:40

hal-00920793，版本1 (18-10-2015)

Manindra Agrawal、Sundararaman Akshay、Blaise Genest、P.S.Thiagarajan。马尔可夫链符号动力学的近似验证。美国医学会杂志2015年，第62（1）页，第34-65页。⟨10.1145/2629417⟩.⟨哈尔-00920793⟩

电信研究所 UNIV-RENNES1公司中国科学院印度 INSA-RENES公司 IRISA公司中央SUPELEC 伊朗-D4 INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-RENNES公司澳大利亚国家铁路公司 UR1-数学编号

223 磋商

330 Télé收费