Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908350652874752 |
|---|---|
| author | Chechik, Marsha Fedeli, Arianna Filippone, Gianluca Formica, Federico Frasheri, Mirgita Hochgeschwender, Nico Marsso, Lina |
| author_facet | Chechik, Marsha Fedeli, Arianna Filippone, Gianluca Formica, Federico Frasheri, Mirgita Hochgeschwender, Nico Marsso, Lina |
| contents | This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in Hamilton, Canada, on May 4th, 2025, as a satellite event of ETAPS 2025. The aim of ASQAP 2025 is to gather experts from academia and industry to explore the potential of digital twin technology in supporting quality assurance in autonomous systems, including concepts such as specification, verification, validation, testing, analysis, and many others. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_02873 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins Chechik, Marsha Fedeli, Arianna Filippone, Gianluca Formica, Federico Frasheri, Mirgita Hochgeschwender, Nico Marsso, Lina Software Engineering This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in Hamilton, Canada, on May 4th, 2025, as a satellite event of ETAPS 2025. The aim of ASQAP 2025 is to gather experts from academia and industry to explore the potential of digital twin technology in supporting quality assurance in autonomous systems, including concepts such as specification, verification, validation, testing, analysis, and many others. |
| title | Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2505.02873 |