Short Presentations (19th August, 10:30-11:15)

• [10:30-10:40]   CSB: A Counting and Sampling Tool for Bit-vectors by Arijit Shaw (CMI) (slides)
  
  
• [10:41-10:51]   Data-Driven Invariant Learning for Probabilistic Programs by Nitesh Trivedi (IIT Kanpur) (slides)
  
  
• [10:52-11:02]   Using Model Counting for Game Development: Quantifying Difficulty of 2D platformer Levels for Diverse Playable Characters by Aditya Patil (MIT Vishwashanti Gurukul) (slides)
  
  
• [11:03-11:13]   Explaining Unsolvability of Planning Problems in Hybrid Systems by Sk Asif Iqbal (IACS) (slides)