Guy Katz · 4 obras en el catálogoObrasSSoftware Verification and Formal Methods for ML-Enabled AutoSoftware Verification and Formal Methods for ML-Enabled Autonomous SystemsIIll Do It!Ill Do It!IIntercultural NegotiationIntercultural NegotiationTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
SSoftware Verification and Formal Methods for ML-Enabled AutoSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems