Nalaganje...
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...
Shranjeno v:
| izdano v: | Sensors (Basel) |
|---|---|
| Main Authors: | , , |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
MDPI
2019
|
| Teme: | |
| Online dostop: | 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 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|