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