A carregar...
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...
Na minha lista:
| Publicado no: | Sensors (Basel) |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
MDPI
2019
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6891290/ https://ncbi.nlm.nih.gov/pubmed/31739526 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.3390/s19224965 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|