@inproceedings{Weinhuber2026GoodForMDP,
  title = "Good-for-MDP State Reduction for Stochastic LTL Planning",
  author = "Christoph Weinhuber and Giuseppe De Giacomo and Yong Li and Sven Schewe and Qiyi Tang",
  year = "2026",
  booktitle = "Proceedings of AAAI 2026",
}