Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint SolvingShare on Twitter Facebook LinkedIn Previous Next