Logic, games, formal verification

Logic, games, formal verification

Foundations Lab Seminars Face-to-face seminar
Thursday, 12 August 2021
2 pm - 3 pm (AEST)

In this talk, I will present some work on logic, games, and formal verification, in particular for the automated analysis of concurrent and multi-agent systems. The talk will summarise a series of results obtained in the last seven years where several model checking and automated synthesis techniques for temporal logic verification have been developed for the game-theoretic analysis of rational agents.


Event contact

Dr Julian Gutierrez

Co-Director, Monash Laboratory for the Foundations of Computing (MLFC) E: Julian.Gutierrez@monash.edu


Woodside Building for Technology and Design, Clayton campus

Share this event