P-stable abstractions of hybrid systems.

Anna Becchi Alessandro Cimatti Enea Zaffanella

Published in: Softw. Syst. Model. (2024)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
meta learning
soft computing
computational intelligence
discrete event
artificial intelligence
dynamic systems
feature selection
decision trees
database systems
artificial neural networks