Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning.

Milad Kazemi, Sadegh Soudjani

Browse the full IFM paper archive.