Statistical Verification Framework for Platooning System of Systems with Uncertainty.

Sangwon Hyun Jiyoung Song Seungchyul Shin Doo-Hwan Bae

Published in: APSEC (2019)

Keyphrases

main contribution
statistical analysis
database
genetic algorithm
data driven
complex systems
formal methods
issues that need to be addressed
information systems
metadata
clustering algorithm
video sequences
mobile devices
semi supervised
theoretical framework
statistical inference