Cargando…
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach
Due to the severe consequences of their possible failure, robotic systems must be rigorously verified as to guarantee that their behavior is correct and safe. Such verification, carried out on a model, needs to cover various behavioral properties (e.g., safety and liveness), but also, given the timi...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Frontiers Media S.A.
2022
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9043953/ https://www.ncbi.nlm.nih.gov/pubmed/35494538 http://dx.doi.org/10.3389/frobt.2022.791757 |