Login / Signup
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.
Ahmed Bouajjani
Rachid Echahed
Riadh Robbana
Published in:
Hybrid Systems (1994)
Keyphrases
</>
continuous variables
discrete variables
data structure
bayesian networks
random variables
dynamic systems
structure learning
probabilistic model
complex systems
integer variables