Cargando…
Formal Verification for Task Description Languages. A Petri Net Approach
One of the main challenges in verifying robotic systems is its asynchronous interaction with an unstructured environment, observed by imperfect sensors. Autonomous robot systems usually require some language to support task-level control. This paper presents an effective approach to apply formal ver...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2019
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6891290/ https://www.ncbi.nlm.nih.gov/pubmed/31739526 http://dx.doi.org/10.3390/s19224965 |