Switch to: References

Add citations

You must login to add citations.
  1. From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
    Download  
     
    Export citation  
     
    Bookmark   4 citations