Lavaei, Abolfazl, Somenzi, Fabio, Soudjani, Sadegh, Trivedi, Ashutosh, and Zamani, Majid. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. Retrieved from https://par.nsf.gov/biblio/10237357. ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) . Web. doi:10.1109/ICCPS48487.2020.00017.

Lavaei, Abolfazl, Somenzi, Fabio, Soudjani, Sadegh, Trivedi, Ashutosh, & Zamani, Majid. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), (). Retrieved from https://par.nsf.gov/biblio/10237357. https://doi.org/10.1109/ICCPS48487.2020.00017

Lavaei, Abolfazl, Somenzi, Fabio, Soudjani, Sadegh, Trivedi, Ashutosh, and Zamani, Majid. "Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning". ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) (). Country unknown/Code not available. https://doi.org/10.1109/ICCPS48487.2020.00017. https://par.nsf.gov/biblio/10237357.

@article{osti_10237357,
place = {Country unknown/Code not available}, title = {Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning}, url = {https://par.nsf.gov/biblio/10237357}, DOI = {10.1109/ICCPS48487.2020.00017}, abstractNote = {}, journal = {ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)}, author = {Lavaei, Abolfazl and Somenzi, Fabio and Soudjani, Sadegh and Trivedi, Ashutosh and Zamani, Majid}, editor = {null} }