Suguman Bansal
News
- Ramneet Singh successfully defended his Master's thesis on INTERLEAVE : An Empirically Faster Symbolic Algorithm for Maximal End Component Decomposition of MDPs.
- New Paper! Lisa2.0 improving the conversion of LTLf formulas to DFAs has been accepted to FMCAD 2024. This work was led by my undergraduate student Yash Kankariya.
- We are hosting S Akshay from IIT Bombay this week.
- New paper on theoretical guarantees on learning from reachability goals in RL has been accepted to ICML 2024. This is joint work with Jakub Svoboda and Krishnendu Chatterjee. Paper out soon!
- We are hosting Jakub Svoboda from ISTA Austria this week.
- My PhD student Vignesh Subramanian's paper on Inductive Generalization in Reinforcement Learning from Specifications has been accepted to appear at NeurIPS 2023 workshop GenPlan 2023.
- Rice CS tells the story behind our ATVA 2023 Best Paper Award. Read the article here
- My undergrad student Yash Kankariya's poster Decompositions in Compositional Translation of LTLf to DFA has been accepted to AAAI 2024.
- Our ATVA 2023 paper has been awarded the Best Paper Award at ATVA 2023!
- Article on our IJCAI 2023 paper featured by Rice CS here!
- Paper titied On Strategies In Synthesis Over Finite Traces has been accepted to ATVA 2023!
- Our LTLf synthesis tool Lisa has secured third position in the LTLf track at SYNTCOMP 2023! Find the results here. Already looking forward to next year's competition. :)
- Participating in the Dagstuhl Seminar on Scalable Analysis of Probabilistic Models and Programs. Kudos to the organizers for putting together such an inspiring program!
- Spending the summer at the School of Computing at NUS, hosted by Prof. Umang Mathur.
- New Paper on Multi-Agent Systems with Quantitative Satisficing Goals accepted to IJCAI 2023
- Tutorial on Specification-Guided Reinforcement Learning accepted to AAAI 2023.
- Starting as Assistant Professor at SCS@GaTech
- Keynote talk at SAS 2022 on Specification-Guided Reinforcement Learning.
- Tutorial on Specification-Guided Reinforcement Learning accepted to AAAI 2023. To be co-presented with Rajeev Alur, Osbert Bastani, and Kishor Jothimurugan.
- New paper accepted at VSTTE 2022.
- FLoC time of the year. Excited to share plenty of new work!
- Presenting On the Unusual Effectiveness of Automata in Quantitative Reasoning at VardiFest 2022.
- Presenting Specification-Guided Learning of Nash Equilibria with High Social Welfare at CAV 2022.
- Presenting A Framework for Transforming Speicifcations in Reinforcement Learning at SYNT 2022.
- [Invited Speaker] Presenting Fomral Methods in Reinformcement Learning at WOLVERINE 2022.
- Roberto Cipollone will present our work on Compositional RL from Logical Specifications at PRL@IJCAI as none of the authors could make it to the workshop. Thank you, Roberto!
- Informally accepted Tenure-Track Assistant Professor position in the School of Computing at Georgia Insititute of Technology. The job market has concluded! :)
- I am the Round-Table Host on "Safe Reinforcement Learning" at WOLVERINE at FLoC 2022. Do attend if you want to learn about the cutting edge reserach at the intersection of Formal Methods and Reinforcement Learning.
- New CAV Paper! Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to CAV 2022. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- Academic Job Market 2022. Application Materials: Research Statement | Resume | Teaching Statement | Diversity Statement
- Paper on Compositional Reinforcement Learning from Logical Specifications appears at NeurIPS 2021 today. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- Paper on On Synthesis from Satisficing and Temporal Goals has been accepted to appear at AAAI 2022. This is joint work with Lydia Kavraki, Moshe Y. Vardi, and Andrew Wells. [10-mins Talk Video]
- Paper on Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to appear at SafeRL 2021 at NeurIPS 2021
- Invited Speaker at the prestigious IARCS Verification Seminar Series. [Talk Details] [60-mins Talk Video]
- Compositional Reinforcement Learning from Logical Specifications has been accepted to NeurIPS 2021. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- Presenting Invited Talk on "Towards designing intelligent machines via reactive synthesis" at Continuity, Computability, Constructivity: From Logic to Algorithms 2021
- Presenting "Synthesis from Temporal and Satisficing Goals" at Highlights of Logic, Games, and Automata 2021 [10-mins Talk Video].
- Presenting Adapting Behaviors via Reactive Synthesis at CAV 2021.
- Presenting "Compositional Reinforcement Learning from Logical Specifications" at SYNT 2021 at CAV 2021.
- Co-ogamizing Verification Mentoring Workshop at CAV 2021.
- New paper alert!! Paper on "Adapting Behaviors via Reactive Synthesis" has been accepted at CAV 2021. Always excited to return to CAV!
- TACAS slides and talk video out now! These summarize our work on "On Satisficing in Quantitative Games"
- I am co-organizing the Verification Mentoring Workshop at CAV 2021. Six years ago VMW@CAV2015 was my gateway to the magnficient Formal Methods community. Life seems to have come a full circle. :)
- I am serving on the Program Committee of SYNT 2021 and LAMAS+SR 2021. Small and intimtae workshops are a great way to showcase work to domain experts. Do consider submitting work to these workshops!
- Ending the tumultous year with some good news. Paper titled "On Satisficing of Quantitative Games" has been accepted to TACAS 2021. This is joint work with Krishnendu Chatterjee and Moshe Y. Vardi
- I am serving on the program committee of IJCAI 2021. Can't wait to read your best submissions to IJCAI!
- Honored to be in the cohort of Computing Innovation Fellows 2020. Thank you Computing Research Association and the NSF for their generous support.
Official annoucement. - Bidding farewell to Houston to move to Philladelphia today. Damn, this is harder than I had imagined... Philly, you better put on your best version. :).
- Extended abstract on my Dissertation has been accepted to appear at Highlights in Logic, Games and Automata 2020.
- Big News! Moved to CIS@UPenn.
Excited to start as a Postdoctoral Researcher with Prof. Rajeev Alur. - Submitted my PhD. Thesis. This marks the end of an epic era.
I am deeply grateful to all who were on this journey with me. Read my acknowledgement here. - Successfully defended my Ph.D. Dissertation "Automata-Based Quantitative Reasoning" under the most unusual circumstances -- from my dining table over a remote talk in a BYO Beverage/Food session!
My advisor Moshe Vardi said I did an "outstanding job"! Could I have asked for anything more? - PhD Dissertation defense official annoucement is out today. The finish line is near!!!
- Had been practicing social distancing for the past few weeks. Officially beginning strict Stay-at-home today. This is the beginning of the end of the world as we had come to know it. Hoping that we'll create a better world once we are out of the pandemic. Yup, that is my birthday wish for this year. :)
- Busy few days ahead. Pardon me if I loose track of where I am. :P
- January 14-15. Visiting U Penn. Hosted by Prof. Rajeev Alur. Talking about "Automata-based quantiative reasoning"
- January 22-24. Attending POPL 2020. I will present "Synthesis of coordination programs from linear temporal logic" (Paper). This is joint work with Kedar S. Namjoshi and Yaniv Sa'ar.
- February 3-5. Visiting UT Austin. Hosted by Prof. Ufuk Topcu. Talking about "Designing intelligent systems via reactive synthesis".
- February 7. Visiting Nokia Bell Labs, Murray Hill. Always a pleasue to be back.
- February 8-12. Attending AAAI 2020. I will present "Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications" (Paper). This is joint work with Yong Li, Lucas M. Tabajara, and Moshe Y. Vardi
- Had a great week in Marta Kwiatkowska's group at the University of Oxford. Thank you for the wonderful visit!
Talked about "Automata-based quantiative verification". - Paper accepted at AAAI 2020! First paper at an AI venue. AI, here I come! Our paper presents the a new approach for syntheis of reactive systems from temporal logic over finite traces. This is joint work with Yong Li, Lucas M. Tabajara and Moshe Y. Vardi.
- Awarded the ACM Artifact Evaluated Badge - Functional for our prototype tool for Coordination synthesis presented in our POPL 2020 paper.
- Elated that our paper on "Synthesis of coordination programs from linear temporal logic" with Kedar S. Namjoshi and Yaniv Sa'ar has been conditionally accepted to POPL 2020.
- Awarded the Rice School of Engineering Future Faculty Fellow. Thank you, SoE!
- Returning to NYC to present my research at CAV 2019:
- Kedar is giving an invited talk on our work on Asynchronous synthesis at SYNT 2019 on July 14.
- I will present Coordination synthesis at SYNT 2019 on July 14. This is joint work with Kedar S. Namjoshi and Yaniv Sa'ar.
- I will present Safety and co-safety comparator automata at CAV 2019 on July 15. This is joint work with Moshe Y. Vardi.
- Paper titled "Coodination synthesis" accepted to SYNT 2019. This is joint work with Kedar S. Namjoshi and Yaniv Sa'ar.
- Visiting the Department of Computer Science - IIT Delhi today. Thank you Sanjiva Prasasd for hosting me!
Talk title: Designing intelligent systems via reactive synthesis - Paper titled "Safety and co-safety comparators for discounted-sum inclusion" has been accepted to CAV 2019. This is joint work with Moshe Y. Vardi.
Can't wait to return to CAV! - Visiting the School of Computing at NUS, Singapore today. Thank you Wei Ngan for hosting me!
Talk title: Designing intelligent systems via reactive synthesis - Journal version of "Comparator automata for quantitative verification" has been accepted for publication in Logical Methods in Computer Science. This is joint work with Swarat Chaudhuri and Moshe Y. Vardi.
- Attending the MIT EECS Rising Stars Workshop 2018. It brings together the brightest and most inspiring rising women computer scientists for a phenomenal mentoring workshop. Honored to be in this cohort of rising stars.
- Attending CAV 2018 at FLoC 2018 in Oxford, UK. I will be presenting my papers on asyncrhonous syntheis with Kedar S. Namjoshi and Yaniv Sa'ar on July 14, and empirical evaluation of comparator-based and traditional approches for quantititative verification with Swarat Chaudhuri and Moshe Y. Vardi on July 17. Drop by the talks!
- Back to Bell Labs for the summer.
- Attending ETAPS 2018. Presenting paper on a symbolic technique for quantitative verification - Comparators co-authored with Swarat Chaudhuri and Moshe Y. Vardi at FoSSaCS 2018.
- Priviledged to talk about my research at IST Austria.
- What is better than one paper at CAV? Two papers at CAV!
Excited to share that two of my papers have been accepted for publication at CAV 2018.- Work on in-practice performance of comparator-based algorithms vs traditional algorithms with Swarat Chaudhuri and Moshe Y. Vardi.
- Work on asynchronous synthesis with Kedar S. Namjoshi and Yaniv Sa'ar.
- Spending the rest of the semester at Simons Institute, UC Berkeley. Already loving it. <3
- Who is the new Ph.D Candidate in town? Passed my qualifying exam!
- My work on Comparators with Swarat Chaudhuri and Moshe Vardi has been accepted for publication at FoSSaCS 2018. Great way to begin the winter holidays. :)
- Wrapping up the year with a visit to IIAS, Jerusalem. Attending the 2nd Winter School on Computer Science and Engineering in Formal Verification.
- Invited to attend and speak at the first ever Google Student Research Summit. My talk on "Reasoning about Incentive Compatibility" was well received.
- Spending the summer interning at NOKIA-Bell Labs with Kedar Namjoshi. Was so much fun!
- Gave an impromptu talk on Comparators at Saarland University. Feeling researchy!
- My first ever Dagstuhl! Attending the Dagsthul seminar on Games in AI, Logic and Algorithms.
- Selected to attend CRA-W Grad Cohort. Looking forward to it!
- Officially a Master now. Submitted my Master's thesis.
- Doesn't get better than the MSR Faculty Summit 2016: Visiting MSR Redmond -- the Mecca for computer scientist, research showcase by the best researchers from all over the world, and inspiring talks by revolutionary leaders of CS.
- The big day has arrived! Headed home for my brother's wedding.
- Summer travel begins! Visiting New York over the weekend.
- Been invited to the MSR Faculty Summit 2016. Feeling honored and excited!
- Successfully defended my Masters!
Masters Thesis Title: Algorithmic analysis of Regular repeated games - Last week consisted of a paper submission to EC 16, three paper reviews, two course examinations, two course assignments, and one assignment grading only. And I thought post-submission will be free. :D
- Disney World! Dreams do come true. :)
- Acheivement unlocked. Gave my first talk outside Rice at Off the Beaten Track at POPL 2016. Talk was on Chanakya: Computer-Aided Strategic Reasoning.
- My poster Reasoning about Incentive Compatibility has won the Gold Medal at the ACM Student Research Competition at POPL 2016. Yay!
- POPLing for the rest of the week. I am on a mission this time. Presenting
- Poster at the Student Research Competition on Jan 21
- Talk at the Off the Beaten Track on Jan 23
- My poster titled Reasoning about Incentive Compatibility has been accepted to appear at Student Research Competition at POPL 2016. See you at the competition!
- Our paper titled Chanakya: Computer-Aided Strategic Reasoning has been accepted to appear at Off the Beaten Track 2016 at POPL 2016. First paper acceptance!
- Submitted an extended abstract to Student Reseach Competition at POPL 2016. Fingers crossed!
- Submitted a paper to AAMAS 16.
- Saw a glimpse of grad school in a single day! Received a fellowship, did some research work, some TA duties, attended a great colloquium talk, met friends at the Diwali celebration, and a paper rejection. So many emotions!
- First paper, first rejection. Such is research. :(
- Received the Andrew Ladd Graduate Fellowship from Rice CS Department and the Ken Kennedy Institute. Such an honor! :)
- Submitted a paper to OBT 16 at POPL 16.
- The affair of surprises and shocks with Rebuttals has begun. Last thing I expected reviews to be was amusing! :D
- Gave my first research talk on "Computer-Aided Strategic Reasoning". Slides can be found here.
- Updated my webpage. Was long overdue. :)
- Submitted my first paper to AAAI 2016!
- Back to Houston! Was a memorable summer. Enough fun, now let us get some work done!
- Last stop: Frankfurt.
- Vacation stop two: Meeting with my best friend for three days, after three years, in Europe's most beautiful city - Prague! Whatta reunion ;)
- Vacation begins, finally! Exploring Munich, today and tomorrow.
- Chapter Germany of Summer-15 begins! Spending the next two weeks in the Bavarian countryside participating in Marktoberdorf Summer School.
Excited to share that "Compositional Reinforcement Learning from Logical Specifications " will appear at SYNT 2021 at CAV 2021! Check out the Extended Abstract and Long Paper.