A Composable Specification Language for Reinforcement Learning Tasks. - Kishor Jothimurugan; Rajeev Alur; Osbert Bastani (NeurIPS, 2019)

Space-efficient Query Evaluation over Probabilistic Event Streams. - Rajeev Alur; Yu Chen 039; Kishor Jothimurugan; Sanjeev Khanna (LICS, 2020)

Abstract Value Iteration for Hierarchical Reinforcement Learning. - Kishor Jothimurugan; Osbert Bastani; Rajeev Alur (AISTATS, 2021)

Compositional Reinforcement Learning from Logical Specifications. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (NeurIPS, 2021)

Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics. - Kishor Jothimurugan; Matthew Andrews; Jeongran Lee; Lorenzo Maggi (CoRR, 2021)

Compositional Learning and Verification of Neural Network Controllers. - Radoslav Ivanov; Kishor Jothimurugan; Steve Hsu; Shaan Vaidya; Rajeev Alur; Osbert Bastani (ACM Trans. Embed. Comput. Syst., 2021)

A Framework for Transforming Specifications in Reinforcement Learning. - Rajeev Alur; Suguman Bansal; Osbert Bastani; Kishor Jothimurugan (Principles of Systems Design, 2022)

Specification-Guided Learning of Nash Equilibria with High Social Welfare. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (CAV (2), 2022)

Policy Synthesis and Reinforcement Learning for Discounted LTL. - Rajeev Alur; Osbert Bastani; Kishor Jothimurugan; Mateo Perez; Fabio Somenzi; Ashutosh Trivedi 001 (CAV (1), 2023)

Robust Subtask Learning for Compositional Generalization. - Kishor Jothimurugan; Steve Hsu; Osbert Bastani; Rajeev Alur (ICML, 2023)

Specification-Guided Reinforcement Learning. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (NeuS, 2025)