( en | de | ru )

 

Disambiguation of "Jothimurugan, Kishor"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Learning and Verification of Neural Network Controllers.

, , , , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 92:1-92:26 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jugal Kishor

Kishor Sharma

Kishor Chavan

Kishor Lahiri

Kishor Kumar Rajbhandari

 

Other publications of authors with the same name

Abstract Value Iteration for Hierarchical Reinforcement Learning., , and . AISTATS, volume 130 of Proceedings of Machine Learning Research, page 1162-1170. PMLR, (2021)Robust Subtask Learning for Compositional Generalization., , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 15371-15387. PMLR, (2023)A Composable Specification Language for Reinforcement Learning Tasks., , and . CoRR, (2020)Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics., , , and . CoRR, (2021)Compositional Reinforcement Learning from Logical Specifications., , , and . NeurIPS, page 10026-10039. (2021)Abstract Value Iteration for Hierarchical Reinforcement Learning., , and . CoRR, (2020)A Framework for Transforming Specifications in Reinforcement Learning., , , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 604-624. Springer, (2022)Space-efficient Query Evaluation over Probabilistic Event Streams., , , and . LICS, page 74-87. ACM, (2020)Compositional Learning and Verification of Neural Network Controllers., , , , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 92:1-92:26 (2021)A Framework for Transforming Specifications in Reinforcement Learning., , , and . CoRR, (2021)