Translation of Timed Promela to Timed Automata with Discrete Data.

Wojciech Nabialek Agata Janowska Pawel Janowski

Published in: Fundam. Informaticae (2008)

Keyphrases

timed automata
discrete data
model checking
continuous data
high dimensional
theorem prover
causal inference
first order logic
theorem proving
real time systems
temporal logic
real time
data streams
data sets
rough sets
information extraction
probability distribution
training data
artificial intelligence