Automated Game-Theoretic Verification of Security Systems

Research output per year 2014 2014 2015 2017 2017

• 2 Article
• 1 Conference contribution
• 1 Other chapter contribution
• 1 Chapter (peer-reviewed)