M-SDL, the autonomous vehicles verification language, is now open
I don’t usually link to the Foretellix website from this blog, but I am really happy to do that today. M-SDL, the Measurable Scenario Description Language, is now finally open (under the Apache 2.0 license). You can download the reference manual here (press release is here). I’d like to thank all the people who helped … More M-SDL, the autonomous vehicles verification language, is now open