XOTAR

XOTAR was an R&D organization studying various computational requirements and methods for developing safety critical, reliable, trustworthy autonomous systems by leveraging simulation and advanced verification methodologies.