This repository provides functionalities to synthesize traffic scenarios from metric temporal logic specifications.
To get started, please refer to scripts/runscript.jl, which covers the scenario synthesis process step by step.
Some usage examples can also be taken from the runtests.