Formal Specification and Verification of Autonomous Robotic Systems

机译：自治机器人系统的正式规范和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Specification and Verification of Autonomous Robotic Systems: A Survey [J] . Luckcuck Matt, Farrell Marie, Dennis Louise A., ACM Computing Surveys . 2020,第5期

机译：自主机器人系统的正式规范和验证：调查
2. Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study [J] . M. Webster, C. Dixon, M. Fisher, Human-Machine Systems, IEEE Transactions on . 2016,第2期

机译：通过形式验证实现可靠的自主机器人助手的案例研究
3. Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems [J] . Joon-Ha Jang, Jin-Young Choi Journal of Communications . 2017,第8期

机译：使用UPPAAL的系统的正式规范和验证：以防御型导弹系统为例
4. A Summary of Formal Specification and Verification of Autonomous Robotic Systems [C] . Matt Luckcuck, Marie Farrell, Louise A. Dennis, International conference on integrated formal methods . 2019

机译：自主机器人系统的形式规范和验证摘要
5. Using live sequence chart specifications for formal verification of systems [D] . Kumar, Rahul 2008

机译：使用实时序列图规范进行系统的形式验证
6. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking [O] . Aaditya Prakash Chouhan, Gourinath Banda 2020

机译：使用统计模型检查正式验证启发式自主交叉管理
7. Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management [O] . Xingyu Zhao, Matt Osborne, Jenny Lantair, 2019

机译：通过电池预测和健康管理整合自主机器人的正式验证
8. Using Formal Specification in the Guidance and Control Software (GCS) Experiment.Formal Design and Verification Technology for Life Critical Systems [R] . Weber, D., Jamsek, D. 1994

机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术

Formal Specification and Verification of Autonomous Robotic Systems

著录项

引文网络

相似文献

相关主题

期刊订阅