Using Computational Context Models to Generate Robot Adaptive Interactions with Humans

von Zachary, Wayne
Veröffentlicht in Spring Symposium on Computational Context. Why it's important, what it means, can it be computed? (2017 : Stanford, Calif.) Computational context (2019)

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning

von Ivanov, Radoslav
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)