Conference Papers

  • Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems
    Proceedings of the 36th International Conference on Automated Planning and Scheduling (ICAPS 2026)
    Johannes Schmalz, Chaahat Jain
    [more]

  • Probabilistic HTN Planning: Formalization and Computational Complexity Analysis
    Proceedings of 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)
    Mohammad Yousefi, Johannes Schmalz, Patrik Haslum, Pascal Bercher
    [pdf]

  • Solving Constrained Stochastic Shortest Path Problems with Scalarisation
    Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025)
    Johannes Schmalz, Felipe Trevizan
    [pdf] [more]

  • Finding Optimal Deterministic Policies for Constrained Stochastic Shortest Path Problems
    Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024)
    Johannes Schmalz, Felipe Trevizan
    [pdf] [more]

  • Efficient Constraint Generation for Stochastic Shortest Path Problems
    Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
    Johannes Schmalz, Felipe Trevizan
    [pdf] [more]

Journal Papers

  • Efficient Constraint Generation for Stochastic Shortest Path Problems
    Artificial Intelligence Journal (AIJ) 2026
    Johannes Schmalz, Felipe Trevizan
    [more]

Workshop Papers

  • Finding Plans and Heuristics with Spectral Graph Theory
    Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2025)
    Johannes Schmalz
    [pdf] [more]