Partially Observable Markov Decision Processes (POMDPs) provide an effic...
Autonomous lander missions on extraterrestrial bodies will need to sampl...
Across infrastructure domains, physical damage caused by storms and othe...
In this work we present Lodestar, an integrated engine for rapid real-ti...
In an adversarial environment, a hostile player performing a task may be...
We consider qualitative strategy synthesis for the formalism called
cons...
Recent paper "TVOR: Finding Discrete Total Variation Outliers Among
Hist...
Consumption Markov Decision Processes (CMDPs) are probabilistic
decision...
This paper proposes a formal approach to learning and planning for agent...
This paper investigates the problem of inferring knowledge from data so ...
We study the problem of synthesizing a policy that maximizes the entropy...
In this paper, we consider an adversarial scenario where one agent seeks...