Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.

Mohammed Al Achhab Ahmed Hammad Hassan Mountassir

Published in: ISoLA (2006)

Keyphrases

model checking
key technologies
search algorithm
computer systems
application level
neural network
learning algorithm
knowledge based systems
learning systems
hierarchical clustering
embedded systems
air force