Keyphrases
- formal methods
- international workshop
- acm sigkdd
- international conference
- formal analysis
- lecture notes
- selected papers
- naacl hlt
- model checking
- software engineering
- model checker
- safety critical
- artificial intelligence
- international symposium
- provably correct
- cyber security and information intelligence
- formal specification
- process algebra
- workshop on artificial intelligence
- advances in artificial intelligence
- knowledge based systems
- computer science
- invited talk
- acm sigmod
- multi agent systems
- formal model
- reactive systems
- database