Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019.
Published in: OVERLAY@AI*IA (2020)
Keyphrases
- association for artificial intelligence
- lecture notes in artificial intelligence
- formal verification
- workshop on artificial intelligence
- international workshop
- model checker
- bounded model checking
- model checking
- advances in artificial intelligence
- lecture notes
- computer science
- temporal logic
- finite state
- artificial intelligence
- automata theoretic
- symbolic model checking
- ambient intelligence
- automated verification
- conference on artificial intelligence
- linear temporal logic
- logic synthesis
- program slicing
- selected papers
- formal methods
- modal logic
- machine learning
- intelligent systems
- logic programming
- automated reasoning
- international conference
- set theory
- heuristic search
- information technology
- evolutionary computation