Quantitative model verification in VANET based on interval probabilistic timed automata.

Qiang Li Xiaoyan Wang Shufen Liu

Published in: CSCWD (2014)

Keyphrases

probabilistic model
computational model
mathematical model
experimental data
model checking
conceptual model
formal model
data sets
artificial intelligence
objective function
cost function
low cost
theoretical analysis
parameter estimation
theoretical framework
qualitative and quantitative