Chuchu Fan – författare
Visar alla böcker från författaren Chuchu Fan. Handla med fri frakt och snabb leverans.
5 produkter
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Av Roderick Bloem, Rayna Dimitrova m. fl.
Häftad, 2022
625 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held …
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Av Natasha Sharygina, Chuchu Fan m. fl.
E-bok, 2022
813 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. …
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Av Chuchu Fan
Häftad, 2024
625 kr
Lägg i varukorg
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed …
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Av Chuchu Fan
E-bok, 2024
523 kr
Lägg i varukorg
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems . This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are …
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Av Chuchu Fan
Inbunden, 2024
851 kr
Lägg i varukorg
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed …
