英语词汇“timed automation”的翻译、意思、用法、释义-英汉汉英双解词典-爱贷网

词汇	timed automation
释义	timed automation 基本例句时间自动机 This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
随便看	Nycteris parisii Nycteris thebaica Nycteris tragata Nycteris vinsoni nycteris woodi nycterohemeral nycthemeron nycthemerons nycti nycti- nycti - nyct i - Nyctibiidae Nyctibius jamaicensis Nycticebus Nycticebus coucang Nycticebus pygmaeus nycticebus pygmaeuss nycticebuss Nycticebus tardigradua nycticeius Nycticeius balstoni Nycticeius greyii Nycticeius influatus Nycticeius rueppellii