<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-06-06 06:36:13Mathematical analysis Uniform distribution Limit of a function Timed automaton Differential calculus BKL singularity |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-06-06 06:36:13Mathematical analysis Uniform distribution Limit of a function Timed automaton Differential calculus BKL singularity |
Add to Reading List |
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement? Benoˆıt Barbot1?? , Nicolas Basset1 , Marc Beunardeau2? ? ? , and Marta Kwiatkowska1 1