Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications
Publisher: Wiley & Sons, Limited, John
Published: 2024
Language: eng
Number of pages: 278
ISBN-13: 9798400708657