Login / Signup
On the Computation of the Set of Reachable States of Hybrid Models.
A. S. Krishnakumar
Kwang-Ting Cheng
Published in:
DAC (1994)
Keyphrases
</>
hybrid models
small number
decision trees
pattern recognition
initial state