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...

Descripción completa

Detalles Bibliográficos
Autores principales: López, Joaquín, Santana-Alonso, Alejandro, Díaz-Cacho Medina, Miguel
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2019
Materias:
Article
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

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6891290/
https://www.ncbi.nlm.nih.gov/pubmed/31739526
http://dx.doi.org/10.3390/s19224965

Ejemplares similares