Translation of Intermediate Language to Timed Automata with Discrete Data.

Agata Janowska Pawel Janowski Dobieslaw Wróblewski

Published in: Fundam. Informaticae (2008)

Keyphrases

discrete data
timed automata
continuous data
model checking
target language
high dimensional
causal inference
natural language
machine translation
weighted graph
theorem prover
machine learning
data sets
training data
data streams