Jan Křetínský

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, Maximilian Prokop, Christoph Weinhuber

doi:10.24963/ijcai.2026/1

Details PDF

IJCAI 2021

LTL-Constrained Steady-State Policy Synthesis

doi:10.24963/ijcai.2021/565

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings