59 citations · 291 across the 45 of their papers we have counts for
7 papers · 1 filter
Adaptive Shielding under Uncertainty
Stefan Pranger, Bettina Könighofer, Martin Tappler +3
This paper targets control problems that exhibit specific safety and performance requirements. In particular, the aim is to ensure that an agent, operating under uncertainty, will…
Robust Finite-State Controllers for Uncertain POMDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +3
Uncertain partially observable Markov decision processes (uPOMDPs) allow the probabilistic transition and observation functions of standard POMDPs to belong to a so-called uncertai…
Adversarial Patch Camouflage against Aerial Detection
Ajaya Adhikari, Richard den Hollander, Ioannis Tolios +9
Detection of military assets on the ground can be performed by applying deep learning-based object detectors on drone surveillance footage. The traditional way of hiding military a…
Strengthening Deterministic Policies for POMDPs
Leonore Winterer, Ralf Wimmer, Nils Jansen +1
The synthesis problem for partially observable Markov decision processes (POMDPs) is to compute a policy that satisfies a given specification. Such policies have to take the full e…
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Partially-Observable Markov Decision Processes (POMDPs) are a well-known stochastic model for sequential decision making under limited information. We consider the EXPTIME-hard pro…
Formalizing and Guaranteeing* Human-Robot Interaction
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman +12
Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial se…