Login / Signup
Verified Reachability Analysis of Continuous Systems.
Fabian Immler
Published in:
TACAS (2015)
Keyphrases
</>
reachability analysis
complex systems
expert systems
intelligent systems