Volume and Entropy of Regular Timed Languages: Discretization Approach.

Eugene Asarin, Aldric Degorre

Browse the full CONCUR paper archive.