A new paper was accepted to AAAI 2024!
A paper on local stability of invariant distributions was accepted to AAAI 2024.
The laboratory concentrates on applications of logic, game theory, and discrete structures in computer science. Special attention is devoted to algorithms and methods for formal analysis and verification of computer systems, applications of game theory in artificial intelligence, and also to emerging topics at the frontiers of formal methods and AI.