Switch to: References

Add citations

You must login to add citations.
  1. Reasoning about equilibria in game-like concurrent systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.Julian Gutierrez, Muhammad Najib, Giuseppe Perelli & Michael Wooldridge - 2020 - Artificial Intelligence 287 (C):103353.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation