Natasha Alechina

Probabilistic Temporal Logic for Reasoning about Bounded Policies

2023

To build a theory of intention revision for agents operating in stochastic environments, we need a logic in which we can explicitly reason about their decision-making policies and those policies' uncertain outcomes. Towards this end, …