Keyphrases
- formal methods
- international conference
- knowledge discovery and data mining
- acm sigkdd
- formal analysis
- safety critical
- cyber security and information intelligence
- model checking
- workshop on artificial intelligence
- formal specification
- artificial intelligence
- knowledge based systems
- international symposium
- naacl hlt
- software engineering
- model checker
- invited talk
- international workshop
- fine grained
- process algebra