Keyphrases
- formal methods
- lecture notes
- revised selected papers
- computer science
- artificial intelligence
- formal analysis
- machine learning for multimodal interaction
- model checking
- safety critical
- knowledge based systems
- lecture notes in artificial intelligence
- provably correct
- model checker
- process algebra
- formal specification
- international symposium
- software engineering
- reactive systems
- expert systems
- artificial neural networks
- open source
- modeling language
- intelligent systems
- development lifecycle