
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Synopsis
Om denne bog
- Sprog:English
- ISBN:9798400708640
- Udgivelsesdato:17. okt. 2024
- Udgiver:Association for Computing Machinery
- Tryk:ACM Books
- Filformat:EPUB3
- Filstørrelse:2.82 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)
























































































