If you made any changes in Pure these will be visible here soon.

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Collaborations from the last five years

Dive into details by clicking on the dots.
  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 5420-5428 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Reshaping State-Space Search: From Dominance to Contrastive Analysis

    Torralba, Á., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 15457 1 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 37).

    Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review