Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
Published in: OVERLAY@GandALF (2021)
Keyphrases
- formal verification
- international symposium
- model checker
- model checking
- bounded model checking
- workshop on artificial intelligence
- ambient intelligence
- computational intelligence
- finite state
- modal logic
- revised papers
- international conference
- temporal logic
- automated verification
- cellular automata
- classical logic
- proof theory
- symbolic model checking
- inference rules
- formal specification
- lecture notes
- evaluation campaigns
- fuzzy logic
- artificial intelligence
- ubiquitous computing
- data mining
- logic programming
- digital libraries
- computer science
- information retrieval