45 citations · 149 across the 52 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…
Controller Synthesis for Omega-Regular and Steady-State Specifications
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus +2
Given a Markov decision process (MDP) and a linear-time (-regular or LTL) specification, the controller synthesis problem aims to compute the optimal policy that satisfies the s…
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi +1
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyb…
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…
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
Mehdi Kargahi, Ashutosh Trivedi
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration o…