Attribution methods for MDPs score states and paths using strategy synthesis to explain sequential agent behavior.
The temporal logic of programs
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A sound reward-shaping mechanism generates belief-dependent rewards from certified LTL satisfaction and integrates it into Monte Carlo planning for POMDPs with temporal logic objectives.
citing papers explorer
-
Attribution-based Explanations for Markov Decision Processes
Attribution methods for MDPs score states and paths using strategy synthesis to explain sequential agent behavior.
-
Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
A sound reward-shaping mechanism generates belief-dependent rewards from certified LTL satisfaction and integrates it into Monte Carlo planning for POMDPs with temporal logic objectives.