Superposition-Based Analysis of First-Order Probabilistic Timed Automata.

Arnaud Fietzke Holger Hermanns Christoph Weidenbach

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

bayesian networks
real time
artificial intelligence
timed automata
case study
data analysis
first order logic
information systems
image processing
image segmentation
software systems
probabilistic logic