Login / Signup

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.

Mohammadhosein HasanbeigYiannis KantarosAlessandro AbateDaniel KroeningGeorge J. PappasInsup Lee
Published in: CDC (2019)
Keyphrases