Title: Model checking and artificial intelligence
Subjects: Congresses, Verification, Computer systems, Artificial intelligence, Computer software, Logic design, Computer science, Software engineering, Computer software, verification