World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation

Haichuan Wang, Jay Patrikar, Sebastian Scherer

Many real-world safety-critical systems are governed by explicit rules that define unsafe world configurations and constrain agent interactions. In practice, these rules are comple…