Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Sale!

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Original price was: $54.95.Current price is: $16.48.

SKU: 3005407735637 Category:

Description

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Reviews

There are no reviews yet.

Be the first to review “Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications”

Your email address will not be published. Required fields are marked *