A Case Study on Using Probabilistic Verification to Find Failures in a Cooperative Driving Application.

Shou-pon Lin Nicholas F. Maxemchuk

Published in: VTC Fall (2015)

Keyphrases

cooperative
case study
genetic algorithm
user interface
data driven
web services
decision trees
multi agent
model checking
game theory
test bed