A Tool for the Verification and Synthesis of Stochastic World Models
RADU CONSTANTIN Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel VAZQUEZ FLORES
RADU CONSTANTIN Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel VAZQUEZ FLORES
Khotsofalang Nqhoaki, Terry Wilding
The deployment of Nonlinear Model Predictive Con- trol (NMPC) in safety-critical autonomous systems is frequently constrained by the computational intractability of solving non- convex optimization problems within strict real-time deadlines. While quantum computing offers theoret…
Ben Kirman, Charline Foch, David Gochfeld, MARIAN URSU
Games and Theatre have a long shared history, but are often separated along disciplinary lines. We investigate this from a practical and design perspective, and present a unique project that supported nine professional theatres bringing game design and game technologies into thei…
Yue Wang, ANDY MARVIN, SIMON JONATHAN BALE, Ali Ghaffarlouy Raef, J Dawson, Martin P. Robinson
The use of electrostatically shielded loops for the near-field measurement of Shielding Effectiveness (SE) of planar conducting materials at frequencies above those covered by current standards is examined by simulation and measurement.The transverse wave impedances of the shield…