Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020).
Jean-François RaskinDavide BresolinPublished in: Inf. Comput. (2022)
Keyphrases
- special issue
- selected papers
- international symposium
- formal verification
- model checking
- computational intelligence
- computer science
- annual conference
- international workshop
- model checker
- revised papers
- international journal
- lecture notes
- automated verification
- ai edam
- ambient intelligence
- ecml pkdd
- applied intelligence
- symbolic model checking
- bounded model checking
- invited talk
- modal logic
- cellular automata
- temporal logic
- review process
- artificial intelligence
- machine learning
- dagstuhl castle
- conference proceedings
- asia pacific
- intelligent systems
- artificial neural networks
- genetic algorithm