A Unified Approach for Static and Runtime Verification: Framework and Applications.

Wolfgang Ahrendt Gordon J. Pace Gerardo Schneider

Published in: ISoLA (1) (2012)

Keyphrases

main contribution
framework enables
multi agent
theoretical framework
artificial intelligence
website
case study
three dimensional
feature space
artificial neural networks
multi class
lightweight
model checking
key features