State machine execution traces for verifying and validating robot behaviors
| Autor: | Suresh, Raja, Errico, Tyler, Giammarco, Kristin, Dyer, Pamela, Novitzky, Michael (Misha), James, John, Semmens, Rob, Collins, Michael, Harshbarger, Stuart |
|---|---|
| Zdroj: | Proceedings of SPIE; June 2023, Vol. 12544 Issue: 1 p125440W-125440W-9, 1128970p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|