Kishor Jothimurugan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 17

Top Topics

Efficient Query Evaluation

Reinforcement Learning

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. CoRR (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR (2023)
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. ICML (2023)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR (2022)
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. CoRR (2021)
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. NeurIPS (2021)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. CoRR (2021)
Kishor Jothimurugan, Matthew Andrews, Jeongran Lee, Lorenzo Maggi
Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics. CoRR (2021)
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
A Composable Specification Language for Reinforcement Learning Tasks. CoRR (2020)
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR (2020)
Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams. LICS (2020)
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS (2019)