The field of application of Modal Logics to specification and verification of correctness of CS and AI systems, project 1

Supervisor: Vera Stebletsova (v.n.stebletsova@vu.nl)

2 projects on Modal checking, a major technique for verification of correctness of CS and AI systems by means of multi-modal logics. Some issues connected with automatic Model Checking will be tackled in order to improve it for Strategic logics. (bachelor or master)