Suguman Bansal

[Publications] [Thesis] [Research talks]

Publications [Top]

Peer-reviewed publications

ArXived

Workshop Paper(s)

Poster(s)

Thesis [Top]

Research Talks [Top]

Invited talks

  • Designing intelligent systems via reactive synthesis
    ICES, University of Texas at Austin, Austin, February 2020
  • Automata-based quantitative reasoning.
    Department of Computer Science, University of Pennsylvania, Philadelphia, January 2020
  • 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
    Nokia Bell Labs, Murray Hill, USA, February 2020
  • Automata-based quantitative reasoning.
    Verification seminar series, University of Oxford, Oxford, November 2019
  • Designing intelligent systems via reactive synthesis
    Department of Computer Science - IIT Delhi, New Delhi, April 2019
  • 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

  • Hybrid compositional reasoning for reactive synthesis from finite-horizon tasks
    AAAI conference on AI (AAAI) 2020, New York City, February 2020
  • Synthesis of cooridnation programs from linear temporal logic
    Symposium on Principles of Programming Lanugages (POPL) 2020, New Orleans, January 2020
  • Safety and co-safety comparator automata for discounted-sum inclusion
    International conference on Computer-Aided Verification (CAV) 2019, New York City, July 2019
  • Coordination synthesis
    Workshop on Synthesis (SYNT) 2019 co-located with CAV 2019, New York City, July 2019
  • 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 co-located with POPL 2016, St. Petersberg, January 2016