14 citations · 46 across the 58 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani +1
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic sys…
eess.SY2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani +2
A novel reinforcement learning scheme to synthesize policies for continuous-space Markov decision processes (MDPs) is proposed. This scheme enables one to apply model-free, off-the…