A New Metric Temporal Logic for Hybrid Systems.

Published in: TIME (2013)

Keyphrases

hybrid systems
metric temporal logic
black box
intelligent systems
meta learning
computational intelligence
soft computing
artificial intelligence
discrete event
neural network
machine learning
dynamic systems
knowledge base