Data-driven property verification of grey-box systems by Bayesian experiment design.
Sofie HaesaertPaul M. J. Van den HofAlessandro AbatePublished in: ACC (2015)
Keyphrases
- data driven
- building blocks
- formal methods
- knowledge based systems
- design issues
- high assurance
- case study
- management system
- design criteria
- design automation
- operating environment
- design requirements
- digital circuits
- human computer interface
- functional verification
- support systems
- bayesian inference
- engineering design
- complex systems
- learning systems
- design process
- design tools
- real time
- design principles
- formal verification
- knowledge base
- search engine
- technical systems
- information retrieval
- neural network