Browsing All of EconStor by Author Guha, Shibashis


Showing results 1 to 1 of 1
Year of PublicationTitleAuthor(s)
2018An abstraction-refinement methodology for reasoning about network gamesAvni, Guy; Guha, Shibashis; Kupferman, Orna