My current research is in the use of formal techniques for verifying and reasoning about systems composed of multiple self-interested intelligent agents. It combines approaches from formal verification, logic, automata theory, and game theory. The work is documented on EVE (Equilibrium Verification Environment) Web.
EVE: A tool for temporal equilibrium analysis
Julian Gutierrez‚ Muhammad Najib‚ Giuseppe Perelli and Michael Wooldridge
In International Symposium on Automated Technology for Verification and Analysis. Pages 551–557. Springer. 2018.