Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - 图书 - Association of Computing Machinery,U.S. - 9798400708657 - 2024年10月18日
如封面与标题不符，以标题为准

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

价格
元 527
不含税

远程仓调货

预计送达时间 年7月20日 - 年8月5日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Not rated yet

其他版本：

Cutting-edge verification and synthesis algorithms offer certifiable trust in autonomous systems wrestling with high-dimensional, nonlinear, and hybrid dynamics. With proven methods ensuring soundness and precision, techniques are applied to critical control modules, satellite systems, and autonomous driving maneuvers.

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2024年10月18日
ISBN13 9798400708657
出版商 Association of Computing Machinery,U.S.
页数 277
商品尺寸 150 × 220 × 20 mm   ·   535 g

Mere med samme udgiver

查看Chuchu Fan的全部作品 ( 例如 Paperback Book 及 Hardcover Book )