Picture for Luca Barbaro

Luca Barbaro

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach

Add code
May 09, 2023
Viaarxiv icon