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

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

价格
元 404
不含税

远程仓调货

预计送达时间 年7月14日 - 年7月30日

顾客评价：

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

Not rated yet

其他版本：

Autonomous systems face enormous financial and legal stakes, and novel verification and synthesis algorithms now secure certifiable trust. With applications spanning Toyota engine controls, satellite maneuvers, and ADAS dynamics, insightful methods tackle challenges in complex nonlinear and hybrid models.

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2024年10月22日
ISBN13 9798400708633
出版商 Association of Computing Machinery,U.S.
页数 184
商品尺寸 150 × 220 × 10 mm   ·   326 g

Mere med samme udgiver

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