Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
另外，通过扩展代价和概率时间自动机模型，得到多代价和概率时间自动机。
Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
另外，通过扩展代价和概率时间自动机模型，得到多代价和概率时间自动机。
应用推荐