Kishor Jothimurugan

According to our database, Kishor Jothimurugan authored at least 10 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Robust Subtask Learning for Compositional Generalization.

Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur

Proceedings of the International Conference on Machine Learning, 2023

Policy Synthesis and Reinforcement Learning for Discounted LTL.

Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Specification-Guided Learning of Nash Equilibria with High Social Welfare.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

A Framework for Transforming Specifications in Reinforcement Learning.

Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan

Proceedings of the Principles of Systems Design, 2022

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

Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics.

Kishor Jothimurugan, Matthew Andrews, Jeongran Lee, Lorenzo Maggi

CoRR, 2021

Compositional Reinforcement Learning from Logical Specifications.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Abstract Value Iteration for Hierarchical Reinforcement Learning.

Kishor Jothimurugan, Osbert Bastani, Rajeev Alur

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Space-efficient Query Evaluation over Probabilistic Event Streams.

Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

A Composable Specification Language for Reinforcement Learning Tasks.

Kishor Jothimurugan, Rajeev Alur, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019