An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.

Fuzhi Wang Marta Z. Kwiatkowska

Published in: ATVA (2005)

Keyphrases

timed automata
generative model
reachability analysis
data mining
machine learning
learning algorithm
query language
probabilistic model
state space
distributed systems
transitive closure