Quantitative Multi-objective Verification for Probabilistic Systems.
Vojtech ForejtMarta Z. KwiatkowskaGethin NormanDavid ParkerHongyang QuPublished in: TACAS (2011)
Keyphrases
- multi objective
- evolutionary algorithm
- multi objective optimization
- genetic algorithm
- management system
- building blocks
- databases
- database
- bayesian networks
- probabilistic model
- optimization algorithm
- complex systems
- qualitative and quantitative
- multi objective optimization problems
- asynchronous circuits
- learning systems
- software engineering
- information retrieval