Christoph Weinhuber

2 papers in the IJCAI proceedings

IJCAI 2026

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions

with Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Křetínský, Maximilian Prokop

doi:10.24963/ijcai.2026/1

Details PDF

IJCAI 2025

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives

with Giuseppe De Giacomo, Yong Li, Sven Schewe, Pian Yu

doi:10.24963/ijcai.2025/944

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings