no code implementations • 28 Mar 2024 • Benjamin Kraske, Zakariya Laouar, Zachary Sunberg
As humans come to rely on autonomous systems more, ensuring the transparency of such systems is important to their continued adoption.
no code implementations • 21 Oct 2023 • Zakariya Laouar, Rayan Mazouz, Tyler Becker, Qi Heng Ho, Zachary N. Sunberg
In this paper, we present a framework that synthesizes maximally safe control policies for Jump Markov Linear Systems subject to stochastic mode switches.
no code implementations • 15 Oct 2023 • Qi Heng Ho, Tyler Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg
Evaluations on a set of benchmark problems demonstrate the efficacy of our algorithm and show that policies for RC-POMDPs produce more desirable behaviors than policies for C-POMDPs.