scenario-weaver v0.1.0 — Generates driving-scenario trajectories from YAML specs with LTL and the Z3 SMT solver, and exports JSON, OpenSCENARIO, OpenDRIVE, SVG, GIF and OpenLABEL

Sign in to join the discussion — your thebay.events account works here.