Verification of automotive control applications using S-TaLiRo.

Georgios E. Fainekos Sriram Sankaranarayanan Koichi Ueda Hakan Yazarel

Published in: ACC (2012)

Keyphrases

control system
image processing
model checking
real world
search engine
dynamic programming
control strategy
control method
fingerprint verification
data mining
control structure