首页> 外文OA文献 >Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

【2h】

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

机译：使用统计模型检查正式验证启发式自主交叉管理

代理获取

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

页面导航

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

著录项

作者
Aaditya Prakash Chouhan; Gourinath Banda;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Expanding static verification with model checking and formal design rule checks [J] . Edward Czeck Electronic engineering . 1999,第869期

机译：通过模型检查和形式设计规则检查扩展静态验证
2. Formal verification of probabilistic SystemC models with statisticalmodel checking [J] . Van Chan Ngo, Axel Legay Journal of software maintenance and evolution rsearch and practice . 2018,第3期

机译：通过统计模型检查对概率SystemC模型进行形式验证
3. Supporting Formal Verification Of Dimamulti-agents Models: Towards A Frameworkrnbased On Maude Model Checking [J] . NOURA BOUDIAF, FARID MOKHATI, MOURAD BADRI International journal of software engineering and knowledge engineering . 2008,第7期

机译：支持Dimamulti-agents模型的形式验证：基于Maude模型检查的框架
4. Formal Verification of an Autonomous Wheel Loader by Model Checking [C] . Rong Gu, Raluca Marinescu, Cristina Seceleanu, ACM/IEEE Conference on Formal Methods in Software Engineering . 2018

机译：通过模型检查对自动轮式装载机进行形式验证
5. Formal verification of speed control strategies with SPIN model checker [D] . Baishya, Silpi S. 2004

机译：使用SPIN模型检查器对速度控制策略进行形式验证
6. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking [O] . Aaditya Prakash Chouhan, Gourinath Banda 2020

机译：使用统计模型检查正式验证启发式自主交叉管理
7. Formal Verification of Probabilistic SystemC Models with Statistical Model Checking [O] . Ngo, Van Chan, Legay, Axel 2017

机译：具有统计量的概率systemC模型的形式化验证模型检查
8. Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking [R] . Cavada, R. , Pecheur, C. 2003

机译：基于符号模型检验的大型模型可诊断性实用形式验证

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅