英语词汇“finite run timed automata”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	finite run timed automata
释义	finite run timed automata 基本例句时间自动机 This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
随便看	Instructor system instructor team of students instructor training instructor training course instructor troop instructor weapons system officer instructor work instructour instruct product instruct pupils instructress instructresses instructrice instructrix instructrixes instructs instruct sb about his duties instruct sb about sth instruct sb.in reading and writing instruct sb to do instruct sb to do sth instruct sB.to do sth instruct sB.to start early instruct soldier instruct soldiers