14 citations · 46 across the 58 of their papers we have counts for
5 papers · 1 filter
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
Abolfazl Lavaei, Mateo Perez, Milad Kazemi +4
We propose a compositional approach to synthesize policies for networks of continuous-space stochastic control systems with unknown dynamics using model-free reinforcement learning…
Safety Barrier Certificates for Stochastic Hybrid Systems
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which continuous evolutions are described by stochastic differential equations with bot…
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching
Abolfazl Lavaei, Emilio Frazzoli
In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our propose…
Constructing MDP Abstractions Using Data with Formal Guarantees
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli +1
This paper is concerned with a data-driven technique for constructing finite Markov decision processes (MDPs) as finite abstractions of discrete-time stochastic control systems wit…
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence
Abolfazl Lavaei, Emilio Frazzoli
In this work, we propose a data-driven approach for the construction of finite abstractions (a.k.a., symbolic models) for discrete-time deterministic control systems with unknown d…