@inproceedings{Abate2026SemanticallyLabelled,
  title = "Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions",
  author = "Alessandro Abate and Giuseppe De Giacomo and Mathias Jackermeier and Jan Kretinsky and Maximilian Prokop and Christoph Weinhuber",
  year = "2026",
  booktitle = "Proceedings of IJCAI 2026",
}