Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
复制标题
分析不确定性下自主主体的意图行为
DOI：
10.24963/ijcai.2023/42
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Könighofer, Bettina
中科院分区：
文献类型：
--
作者：
Cano Córdoba, Filip;Judson, Samuel;Antonopoulos, Timos;Bjørner, Katrine;Shoemaker, Nicholas;Shapiro, Scott J.;Piskac, Ruzica;Könighofer, Bettina
登录
查看更多内容
DOI：
10.1007/978-3-030-83723-515
发表时间：
2020
期刊：
--
影响因子：
--
作者：
C. E. Budde;A. Hartmanns;M. Klauck;Jan Křetínský;David Parker;Tim Quatmann;Andrea Turrini;Zhen Zhang
通讯作者：
C. E. Budde;A. Hartmanns;M. Klauck;Jan Křetínský;David Parker;Tim Quatmann;Andrea Turrini;Zhen Zhang
“将汽车搁置”：基于 SMT 的预言机用于调查决策
DOI：
--
发表时间：
2023
期刊：
arXiv.org
影响因子：
--
作者：
Samuel Judson;Matthew Elacqua;Filip Cano Córdoba;Timos Antonopoulos;Bettina Könighofer;Scott J. Shapiro;R. Piskac
通讯作者：
R. Piskac
通过统计模型检查验证自动驾驶感知和决策系统
DOI：
--
发表时间：
2019
期刊：
2019 IEEE Intelligent Vehicles Symposium (IV)
影响因子：
--
作者：
M. Barbier;A. Renzaglia;J. Quilbeuf;Lukas Rummelhard;Anshul K. Paigwar;C. Laugier;Axel Legay;J. Guzman;Olivier Simonin
通讯作者：
Olivier Simonin
DOI：
--
发表时间：
1993
期刊：
影响因子：
--
作者：
Robert Dunn
通讯作者：
Robert Dunn
马尔可夫决策过程和信念-欲望-意图模型 - 弥合自治代理的差距
DOI：
--
发表时间：
2011
期刊：
Springer Briefs in Computer Science
影响因子：
--
作者：
Gerardo I. Simari;S. Parsons
通讯作者：
S. Parsons