safetyfactbullishA novel simulation-based methodology can automatically synthesize policies with formal guarantees regarding performance, safety, and robustness specifications for autonomous systemsNeural and Evolutionary Computing28 Jul 2026http://arxiv.org/abs/2607.15003v1