Follow
Kishor Jothimurugan
Kishor Jothimurugan
Quantitative Researcher, Two Sigma
Verified email at twosigma.com - Homepage
Title
Cited by
Cited by
Year
A composable specification language for reinforcement learning tasks
K Jothimurugan, R Alur, O Bastani
Advances in Neural Information Processing Systems 32, 2019
912019
Compositional reinforcement learning from logical specifications
K Jothimurugan, S Bansal, O Bastani, R Alur
Advances in Neural Information Processing Systems 34, 10026-10039, 2021
682021
Compositional learning and verification of neural network controllers
R Ivanov, K Jothimurugan, S Hsu, S Vaidya, R Alur, O Bastani
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
332021
A framework for transforming specifications in reinforcement learning
R Alur, S Bansal, O Bastani, K Jothimurugan
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
252022
Abstract value iteration for hierarchical reinforcement learning
K Jothimurugan, O Bastani, R Alur
International Conference on Artificial Intelligence and Statistics, 1162-1170, 2021
202021
Specification-guided learning of nash equilibria with high social welfare
K Jothimurugan, S Bansal, O Bastani, R Alur
International Conference on Computer Aided Verification, 343-363, 2022
82022
Policy synthesis and reinforcement learning for discounted LTL
R Alur, O Bastani, K Jothimurugan, M Perez, F Somenzi, A Trivedi
International Conference on Computer Aided Verification, 415-435, 2023
62023
Robust subtask learning for compositional generalization
K Jothimurugan, S Hsu, O Bastani, R Alur
International Conference on Machine Learning, 15371-15387, 2023
22023
Learning algorithms for regenerative stopping problems with applications to shipping consolidation in logistics
K Jothimurugan, M Andrews, J Lee, L Maggi
arXiv preprint arXiv:2105.02318, 2021
22021
Space-efficient query evaluation over probabilistic event streams
R Alur, Y Chen, K Jothimurugan, S Khanna
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
12020
Specification-Guided Reinforcement Learning
K Jothimurugan
University of Pennsylvania, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–11