Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Publisher:Association for Computing Machinery
By: Fan Chuchu
Paid access
|Mar 2025
This title is not yet available for download
This title is not yet available for download
PDF ISBN: 979-8-4007-0866-4 | E-Pub ISBN: 979-8-4007-0864-0
Publisher: Association for Computing Machinery
Copyright owner: © 2025 Association for Computing Machinery
Publication date: 2025
Language: English
Pages: 184
Related subjects:
BISAC subjects:
TEC009090,
COM004000,
COM094000
Thema subjects:
TRC,
UYQ,
UYQM
