当前位置：
X-MOL 学术
›
Int. J. Approx. Reason.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Incremental reasoning in probabilistic signal temporal logic
International Journal of Approximate Reasoning ( IF 3.2 ) Pub Date : 2020-04-01 , DOI: 10.1016/j.ijar.2020.01.009 Mattias Tiger , Fredrik Heintz
International Journal of Approximate Reasoning ( IF 3.2 ) Pub Date : 2020-04-01 , DOI: 10.1016/j.ijar.2020.01.009 Mattias Tiger , Fredrik Heintz
Robot safety is of growing concern given recent developments in intelligent autonomous systems. For complex agents operating in uncertain, complex and rapidly-changing environments it is difficult ...
中文翻译：
概率信号时间逻辑中的增量推理
鉴于智能自主系统的最新发展，机器人安全越来越受到关注。对于在不确定、复杂和快速变化的环境中运行的复杂代理来说，很难...
更新日期：2020-04-01
中文翻译：
概率信号时间逻辑中的增量推理
鉴于智能自主系统的最新发展，机器人安全越来越受到关注。对于在不确定、复杂和快速变化的环境中运行的复杂代理来说，很难...
京公网安备 11010802027423号