Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents. - Yash Shukla; Tanushree Burman; Abhishek Kulkarni; Robert Wright; Alvaro Velasquez; Jivko Sinapov (ICAPS, 2024)

Smart Motor: A Low-Cost Hardware and Software Toolkit for Introducing Supervised Machine Learning to Elementary School Students. - Tanushree Burman; Milan Dahal; Geling Xu; Chris Rogers; Jennifer L. Cross; Jivko Sinapov (AAAI, 2025)