Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.

Ahmed Bouajjani Riadh Robbana

Published in: CAV (1995)

Keyphrases

hybrid systems
discrete event
black box
intelligent systems
meta learning
artificial intelligence
soft computing
neural network
computational intelligence
machine learning
dynamic systems
np complete