| A composable specification language for reinforcement learning tasks K Jothimurugan, R Alur, O Bastani Advances in Neural Information Processing Systems 32, 2019 | 107 | 2019 |
| Compositional reinforcement learning from logical specifications K Jothimurugan, S Bansal, O Bastani, R Alur Advances in Neural Information Processing Systems 34, 10026-10039, 2021 | 100 | 2021 |
| 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 | 43 | 2021 |
| 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 | 38 | 2022 |
| Abstract value iteration for hierarchical reinforcement learning K Jothimurugan, O Bastani, R Alur International Conference on Artificial Intelligence and Statistics, 1162-1170, 2021 | 23 | 2021 |
| 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 | 14 | 2023 |
| 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 | 9 | 2022 |
| Robust subtask learning for compositional generalization K Jothimurugan, S Hsu, O Bastani, R Alur International Conference on Machine Learning, 15371-15387, 2023 | 8 | 2023 |
| 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 | 2 | 2021 |
| Specification-Guided Reinforcement Learning K Jothimurugan University of Pennsylvania, 2023 | 1 | 2023 |
| 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 | 1 | 2020 |
| AAAI Tutorial: Specification-Guided Reinforcement Learning R Alur, S Bansal, O Bastani, K Jothimurugan | | 2023 |
| Techniques for verifying robustness of neural networks K Jothimurugan | | |
Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvaniaseas.upenn.edu의 이메일 확인됨