Login / Signup

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

Alec EdwardsAndrea PeruffoAlessandro Abate
Published in: HSCC (2024)
Keyphrases
  • dynamical models
  • dynamical model
  • feature selection
  • dynamical systems