تحميل...
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety. These risks may not always be evident, since they may arise as unforeseen consequences of interactions between different components of the syste...
محفوظ في:
| الحاوية / القاعدة: | Front Robot AI |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Frontiers Media S.A.
2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7806004/ https://ncbi.nlm.nih.gov/pubmed/33500973 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.3389/frobt.2018.00094 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|