Slicing of Timed Automata with Discrete Data.

Agata Janowska Pawel Janowski

Published in: Fundam. Informaticae (2006)

Keyphrases

discrete data
timed automata
continuous data
model checking
reachability analysis
high dimensional
theorem prover
causal inference
theorem proving
weighted graph
first order logic
latent dirichlet allocation
discretization method
data streams
artificial intelligence
data sets
temporal logic
neural network