Login / Signup

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.

Benoît BarbotNicolas BassetMarc BeunardeauMarta Kwiatkowska
Published in: QEST (2016)
Keyphrases
  • timed automata
  • uniform sampling
  • data sets
  • knowledge base
  • image processing
  • decision trees
  • upper bound
  • model checking
  • computational geometry