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

Ediciones (2)

• Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications (2024)

  Wiley & Sons, Limited, John · inglés · ISBN 9798400708633

• Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications (2024)

  Wiley & Sons, Limited, John · inglés · ISBN 9798400708657

Más obras de Chuchu Fan

Software Verification