Abstract: The paper investigates the application of Artificial Intelligence (AI) algorithms in two critical areas of simulationbased verification: (1) the development of verification testbenches (2) ...
Abstract: Autonomous spacecraft rendezvous is very challenging in increasingly complex space missions. In this article, we present our approach model-based reinforcement learning for spacecraft ...
Billionaire investor Bill Ackman revealed Friday that his firm Pershing Square Capital has built a stake in Microsoft – and said the tech giant “offers analogous and compelling long-term value” ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results