Abhinav Verma
1 Publication
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| arXiv
Search
Filter Publications
Display / Sort
Export / Embed
Grants
1 Publication
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| arXiv