Automated Conversion of Axiomatic to Operational Models: Theory and Practice.
Adwait GodboleYatin A. ManerkarSanjit A. SeshiaPublished in: FMCAD (2022)
Keyphrases
- probabilistic model
- mathematical models
- computational models
- real time
- set theory
- artificial neural networks
- modeling framework
- classification models
- theoretical framework
- theoretical models
- mathematical framework
- neural network model
- statistical methods
- maximum likelihood
- hidden markov models
- prior knowledge
- three dimensional
- machine learning
- databases