Suguman Bansal

[Publications] [Thesis] [Research talks]

Publications [Top]

Peer-reviewed journal publications

Peer-reviewed conference publications

ArXived

Workshop Paper(s)

Poster(s)

Thesis [Top]

Research Talks [Top]

Invited talks

  • Comparators for quantitative verification
    IST Austria, Klosterneuburg, Austria, April 2018
  • Reasoning about incentive compatibility
    Google Student Research Summit, YouTube Headquarters, San Bruno, September 2017
  • Comparators for quantitative games
    Saarland University, Saarbruken, March 2017

  • Seminar talks

  • Designing intelligent systems via reactive synthesis
    School of computing, National University of Singapore, Singapore, April 2019
  • Comparators for quantitative verification
    UC Berkeley, Berkeley, April 2018
  • Comparators for quantitative verification
    Student Spotlight, 2nd Winter School in Computer Science and Engineering on Formal Methods, IIAS, Jerusalem, December 2017
  • Asynchronous synthesis: The Ugly, the Bad, and the ?
    Application Platforms and Software Systems Group, Nokia Bell Labs, Murray Hill, July 2017
  • Comparators for quantitative games
    Dagstuhl seminar on Game Theory in AI, Logic and Algorithms, Dagsthul, March 2017
  • Algorithmic Analysis of Regular Repeated Games
    M.Sc. Thesis Defense Talk, Rice University, Houston, April 2016
  • Reasoning about Incentive Compatibility
    ACM SRC at POPL 2016, St. Petersberg, January 2016

  • Conference and Workshop talks

  • Automata vs linear-programming discounted-sum inclusion
    International conference on Computer-Aided Verification (CAV) 2018, FLoC 2018, Oxford, July 2018
  • Synthesis of asynchronous reactive programs from temporal specifications
    International conference on Computer-Aided Verification (CAV) 2018, FLoC 2018, Oxford, July 2018
  • Comparators for quantitative verification
    International conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2018, Thessaloniki, April 2018
  • Reasoning about Selfishness
    Off the Beaten Track 2016, St. Petersberg, January 2016