According to https://gitlab.lrz.de/tum-cps/traffic-rules/, commonroad seems to research on formalization of traffic rules for roads and oceans.
I notice that https://gitlab.lrz.de/tum-cps/commonocean-rules is already released. Will there be any tools on formalization of commonroad traffic rules? When will it released?
Thanks!