Automated verification of interactive rule-based configuration systems.
Deepak DhunganaChing Hoo TangChristoph WeidenbachPatrick WischnewskiPublished in: ASE (2013)
Keyphrases
- automated verification
- expert systems
- model checking
- automated reasoning
- interactive systems
- product configuration
- rule based systems
- data driven
- knowledge based systems
- complex systems
- heuristic search
- computer graphics
- user friendly
- genetic algorithm
- simulated annealing
- probability distribution
- database systems
- information systems
- learning algorithm