RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
RoboTest：：基于系统模型的移动自主机器人测试和仿真
批准号：
EP/R025479/1
负责人：
Ana Cavalcanti
金额：
$148.7万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2018
资助国家：
英国
项目状态：
未结题
起止时间：
2018 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
RoboWorld: verification of robotic systems with environment in the loop
RoboWorld：在循环环境中验证机器人系统
RoboWorld：在循环环境中验证机器人系统
DOI：
10.1145/3625563
发表时间：
2023
期刊：
Formal Aspects of Computing
影响因子：
1
作者：
[Baxter J]
通讯作者：
Baxter J
RoboSim Physical Modelling Reference Manual
RoboSim 物理建模参考手册
RoboSim 物理建模参考手册
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[A. Miyazawa]
通讯作者：
A. Miyazawa
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Andrew Walter]
通讯作者：
Andrew Walter
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment
提供光照处理的农业机器人的概率建模和安全保证
提供光照处理的农业机器人的概率建模和安全保证
DOI：
10.1109/case56687.2023.10260395
发表时间：
2023
期刊：
影响因子：
--
作者：
[Adam M]
通讯作者：
Adam M
DOI：
10.3389/frobt.2022.991637
发表时间：
2022
期刊：
FRONTIERS IN ROBOTICS AND AI
影响因子：
3.4
作者：
[Barnett, Will, Cavalcanti, Ana, Miyazawa, Alvaro]
通讯作者：
Miyazawa, Alvaro
共 9 条
A Calculus for Software Engineering of Mobile and Autonomous Robots
-
批准号：EP/M025756/1
-
项目类别：Research Grant
-
资助金额：$225.13万
-
财政年份：2015
-
负责人：Ana Cavalcanti
-
依托单位：
High-integrity Java Applications using Circus
-
批准号：EP/H017461/1
-
项目类别：Research Grant
-
资助金额：$131.18万
-
财政年份：2010
-
负责人：Ana Cavalcanti
-
依托单位：
Programming from Control Laws
-
批准号：EP/E025366/1
-
项目类别：Research Grant
-
资助金额：$41.47万
-
财政年份：2007
-
负责人：Ana Cavalcanti
-
依托单位：
海外基金