A Machine-Independent Characterization of Timed Languages.

Mikolaj Bojanczyk Slawomir Lasota

Published in: ICALP (2) (2012)

Keyphrases

expressive power
petri net
data mining
timed automata
machine learning
search engine
database
genetic algorithm
support vector
markov chain
model checking
language independent
target language
discrete event