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