Sign in

A type-based analysis of causality loops in hybrid systems modelers.

Albert BenvenisteTimothy BourkeBenoît CaillaudBruno PaganoMarc Pouzet
Published in: HSCC (2014)
Keyphrases
  • hybrid systems
  • search space
  • knowledge acquisition
  • mathematical model
  • black box
  • meta learning