Back to Results
First PageMeta Content
Mathematical analysis / Uniform distribution / Limit of a function / Timed automaton / Differential calculus / BKL singularity


Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement? Benoˆıt Barbot1?? , Nicolas Basset1 , Marc Beunardeau2? ? ? , and Marta Kwiatkowska1 1
Add to Reading List

Document Date: 2016-06-06 06:36:13


Open Document

File Size: 566,96 KB

Share Result on Facebook
UPDATE