Login / Signup

Verified Reachability Analysis of Continuous Systems.

Fabian Immler
Published in: TACAS (2015)
Keyphrases
  • reachability analysis
  • complex systems
  • expert systems
  • intelligent systems