Reinforcement Learning with Stochastic Reward Machines. - Jan Corazza; Ivan Gavran; Daniel Neider (AAAI, 2022)

Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. - Jan Corazza; Hadi Partovi Aria; Daniel Neider; Zhe Xu 005 (CLeaR, 2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. - Jan Corazza; Ivan Gavran; Gabriela Moreira; Daniel Neider (ICST, 2025)

Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information. - Jan Corazza; Hadi Partovi Aria; Hyohun Kim; Daniel Neider; Zhe Xu 005 (CoRR, 2025)