Formal Methods for Safe Autonomy
Subtitle: Data-Driven Verification, Synthesis, and Applications
Publisher: Association for Computing Machinery
Published: 2024
Language: eng
ISBN-13: 9798400708664