A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
复制标题
基于代理的自动驾驶车辆和路口法规的双层模型检查方法
DOI：
10.3390/jsan10030041
复制
发表时间：
2021
影响因子：
3.5
通讯作者：
Alves G
中科院分区：
文献类型：
--
作者：
Alves G
登录
查看更多内容
在 GOAL 中对 Rational Agent 进行编程
DOI：
--
发表时间：
2009
期刊：
Multi-Agent Programming, Languages, Tools and Applications
影响因子：
--
作者：
K. Hindriks
通讯作者：
K. Hindriks
DOI：
10.1007/978-3-319-66845-1_4
发表时间：
2017-09
期刊：
--
影响因子：
--
作者：
Albert Rizaldi;Jonas Keinholz;M. Huber;Jochen Feldle;Fabian Immler;M. Althoff;Eric Hilgendorf;
通讯作者：
Albert Rizaldi;Jonas Keinholz;M. Huber;Jochen Feldle;Fabian Immler;M. Althoff;Eric Hilgendorf;
你为什么这么做
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
M. Villata
通讯作者：
M. Villata
DOI：
10.1109/ccta.2018.8511432
发表时间：
2018
期刊：
2018 IEEE Conference on Control Technology and Applications (CCTA)
影响因子：
--
作者：
Mohammed Al;Hongyang Qu;S. Veres
通讯作者：
S. Veres
流量规则编码可失效道义逻辑
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
Hanif Bhuiyan;Guido Governatori;A. Bond;S. Demmel;M. Islam;A. Rakotonirainy
通讯作者：
A. Rakotonirainy