1 citations · 2 across the 7 of their papers we have counts for
8 papers
Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization
Abhijit Mazumdar, Rafal Wisniewski, Manuela L. Bujorianu
We consider the problem of learning the optimal policy for Markov decision processes with safety constraints. We formulate the problem in a reach-avoid setup. Our goal is to design…
An Online Multiobjective Policy Gradient for Long-run Average-reward Markov Decision Process
Rahul Misra, Manuela L. Bujorianu, Rafał Wisniewski
We propose a reinforcement learning (RL) framework for multi-objective decision-making, where the agent seeks to optimize a vector of rewards rather than a single scalar value. The…
Large Deviations in Safety-Critical Systems with Probabilistic Initial Conditions
Aitor R. Gomez, Manuela L. Bujorianu, Rafal Wisniewski
We often rely on probabilistic measures -- e.g. event probability or expected time -- to characterize systems' safety. However, determining these quantities for extremely low-proba…
Safe Dynamic Programming
Rafal Wisniewski, Manuela L. Bujorianu
We incorporate safety specifications into dynamic programming. Explicitly, we address the minimization problem of a Markov decision process up to a stopping time with safety constr…
A new stochastic framework for ship capsizing
Manuela L. Bujorianu, Robert S. MacKay, Tobias Grafke +2
We present a new stochastic framework for studying ship capsize. It is a synthesis of two strands of transition state theory. The first is an extension of deterministic transition…
Proceedings 4th Workshop on Hybrid Autonomous Systems
Manuela Bujorianu, Rafael Wisniewski
The interest in autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able…
Proceedings Third International Workshop on Hybrid Autonomous Systems
Luca Bortolussi, Manuela L. Bujorianu, Giordano Pola
The interest on autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able…
Proceedings FM-09 Workshop on Formal Methods for Aerospace
Manuela Bujorianu, Michael Fisher
The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal method…