Browsing All of EconStor by Author Kupferman, Orna
Showing results 1 to 1 of 1
Year of Publication | Title | Author(s) |
---|---|---|
2018 | An abstraction-refinement methodology for reasoning about network games | Avni, Guy; Guha, Shibashis; Kupferman, Orna |