Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands.

Brijesh Dongol Ian J. Hayes

Published in: IFM (2012)

Keyphrases

databases
reasoning systems
neural network
data mining
e learning
knowledge base
image processing
multiscale