Our paper <a href="files/publications/cav-22-entropy.pdf">A Scalable Shannon Entropy Estimator</a> is invited to appear in </code> <a href="https://www.springer.com/journal/10703">Formal Methods in System Design (FMSD)</a> issue dedicated to the best papers from CAV 2022.