Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers.
Kimia Zamiri AzarHadi Mardani KamaliFarimah FarahmandiMark M. TehranipoorPublished in: HOST (2022)
Keyphrases
- formal model
- mathematical model
- similarity measure
- simulation model
- prior knowledge
- sensitivity analysis
- management system
- experimental data
- data mining
- statistical model
- theoretical framework
- parameter estimation
- autoregressive
- computational model
- input data
- hidden markov models
- artificial neural networks
- multi agent
- machine learning