ADEX at SafeTRANS Industrial Day
The ADEX project was invited to present its approach and its first year progress at the 29th SafeTRANS Industrial Day. The focus of this year’s event will be on the safety of the highly automated systems.
Uncategorized
Paper on Sampling of Sequential Constraints
Sampling plays an essential role in generating concrete scenarios from logical scenarios. The paper “Sampling of Shape Expressions with ShapEx” that addresses this problem in a more abstract setting was accepted to the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE’21) and will be presented in November 2021.