Keyphrases
- formal analysis
- international workshop
- complex systems
- formal methods
- acm sigkdd
- international conference
- probabilistic model
- computational models
- cyber security and information intelligence
- knowledge based systems
- machine learning
- model checking
- building blocks
- international symposium
- student research workshop
- low cost
- workshop on artificial intelligence
- expert systems