Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.

Stefan Mitsch Jan-David Quesel André Platzer

Published in: FM (2014)

Keyphrases

hybrid systems
neural network
intelligent systems
black box
soft computing
discrete event
meta learning
computational intelligence
artificial intelligence
software systems
knowledge base
source code
knowledge representation
logic programs
text classification
orders of magnitude