Abhinav Verma
1 Publication
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States: Neural Information Processing Systems Foundation.
[Published Version]
View
| Files available
| arXiv
Grants
1 Publication
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States: Neural Information Processing Systems Foundation.
[Published Version]
View
| Files available
| arXiv