Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022.
Published in: OVERLAY@AI*IA (2022)
Keyphrases
- international conference
- association for artificial intelligence
- formal verification
- workshop on artificial intelligence
- lecture notes in artificial intelligence
- conference on artificial intelligence
- advances in artificial intelligence
- bounded model checking
- model checker
- international workshop
- model checking
- book constitutes the refereed proceedings
- lecture notes
- web information systems and mining
- computational molecular biology
- computer science
- ifip wg
- centre for advanced studies
- computational intelligence
- temporal logic
- proceedings of the th international conference
- linear temporal logic
- koli calling
- web intelligence
- acm sigmod
- ambient intelligence
- conference proceedings
- logic programming
- intelligent systems