Computing Bisimilarity Metrics for Probabilistic Timed Automata.

Ruggero Lanotte Simone Tini

Published in: IFM (2019)

Keyphrases

timed automata
reachability analysis
model checking
bayesian networks
theorem prover
data driven
theorem proving
evaluation metrics
uncertain data
posterior probability
context sensitive
probabilistic model
database
generative model
image segmentation
real time systems
artificial intelligence
real time