Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Guy Avni
Map detail
Guy Avni3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipGuy AvniAGuy AvniResearcherInfinite-Duration Poorman-Bidding GamesWInfinite-Duration Poorm...preprint / 2020Formal Methods with a Touch of MagicWFormal Methods with a T...preprint / 2020
Person2 links

Guy Avni

Researcher