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.