The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

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

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Barnes and Noble
Effective Functional Verification: Principles and Processes

Effective Functional Verification: Principles and Processes

Barnes and Noble
The Foundations of Program Verification

The Foundations of Program Verification

Barnes and Noble
A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Barnes and Noble
SAT-Based Scalable Formal Verification Solutions / Edition 1

SAT-Based Scalable Formal Verification Solutions / Edition 1

Barnes and Noble
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Barnes and Noble
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Barnes and Noble
Handbook of Computer Aided Verification

Handbook of Computer Aided Verification

Barnes and Noble
Mathematics Of Autonomy: Mathematical Methods For Cyber-physical-cognitive Systems

Mathematics Of Autonomy: Mathematical Methods For Cyber-physical-cognitive Systems

Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1

Introduction to Formal Hardware Verification / Edition 1

Barnes and Noble
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Barnes and Noble
Logic Synthesis and Verification / Edition 1

Logic Synthesis and Verification / Edition 1

Barnes and Noble
Formal Verification of Circuits

Formal Verification of Circuits

Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Barnes and Noble
Powered by Adeptmind