8 citations · 17 across the 13 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.AI2022
Causal Temporal Reasoning for Markov Decision Processes
Milad Kazemi, Nicola Paoletti
We introduce , a new probabilistic temporal logic for the verification of Markov Decision Processes (MDP). PCFTL is th…
eess.SY2022
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…
eess.SY2022★ 5 cited
Data-Driven Abstraction-Based Control Synthesis
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati +2
This paper studies formal synthesis of controllers for continuous-space systems with unknown dynamics to satisfy requirements expressed as linear temporal logic formulas. Formal ab…