Applications of MetiTarski in the Verification of Control and Hybrid Systems.

Behzad Akbarpour Lawrence C. Paulson

Published in: HSCC (2009)

Keyphrases

hybrid systems
discrete event
neural network
black box
dynamic systems
meta learning
artificial intelligence
intelligent systems
soft computing
control system
reinforcement learning
complex systems