Stochastic Neural Simulation Relations for Transferring Control under Uncertainty

Written By Centaur Info

https://neus-2025.github.io/files/papers/paper_75.pdf,

Alireza Nadali, Ashutosh Trivedi, and Majid Zamani

Centaur Info

Admin for site, used by JW

Previous

Specification-Guided Reinforcement Learning
Next

Logic Tensor Network-Enhanced Generative Adversarial Network