28 citations · 56 across the 22 of their papers we have counts for
5 papers · 1 filter
Verifiable Reinforcement Learning Systems via Compositionality
Cyrus Neary, Aryaman Singh Samyal, Christos Verginis +2
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
Franck Djeumou, Zhe Xu, Murat Cubuktepe +1
We develop a probabilistic control algorithm, , for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The r…
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
We consider a discrete-time linear-quadratic Gaussian control problem in which we minimize a weighted sum of the directed information from the state of the system to the control in…
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching
Bo Wu, Murat Cubuktepe, Franck Djeumou +2
We study the synthesis of mode switching protocols for a class of discrete-time switched linear systems in which the mode jumps are governed by Markov decision processes (MDPs). We…
Verification of Uncertain POMDPs Using Barrier Certificates
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +1
We consider a class of partially observable Markov decision processes (POMDPs) with uncertain transition and/or observation probabilities. The uncertainty takes the form of probabi…