https://arxiv.org/pdf/2305.06603.pdf Will Forester be a base for the framework to test safety-critical systems?