Kishor Jothimurugan

19 papers A* 4A 1Journal 10Unranked 4

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