Rely/Guarantee Reasoning for Asynchronous Programs. - Ivan Gavran; Filip Niksic; Aditya Kanade 001; Rupak Majumdar; Viktor Vafeiadis (CONCUR, 2015)

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. - Rayna Dimitrova; Ivan Gavran; Rupak Majumdar; Vinayak S. Prabhu; Sadegh Esmaeil Zadeh Soudjani (CONCUR, 2017)

Antlab: A Multi-Robot Task Server. - Ivan Gavran; Rupak Majumdar; Indranil Saha (ACM Trans. Embed. Comput. Syst., 2017)

Learning Linear Temporal Properties. - Daniel Neider; Ivan Gavran (FMCAD, 2018)

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. - Ivan Gavran; Ortwin Mailahn; Rainer Müller; Richard Peifer; Damien Zufferey (Onward!, 2018)

Precise but Natural Specification for Robot Tasks. - Brendon Boldt; Ivan Gavran; Eva Darulova; Rupak Majumdar (CoRR, 2018)

Joint Inference of Reward Machines and Policies for Reinforcement Learning. - Zhe Xu 005; Ivan Gavran; Yousef Ahmad; Rupak Majumdar; Daniel Neider; Ufuk Topcu; Bo Wu 005 (ICAPS, 2020)

Learning Properties in LTL ∩ ACTL from Positive Examples Only. - Rüdiger Ehlers; Ivan Gavran; Daniel Neider (FMCAD, 2020)

Interactive synthesis of temporal specifications from examples and natural language. - Ivan Gavran; Eva Darulova; Rupak Majumdar (Proc. ACM Program. Lang., 2020)

Choosing the Initial State for Online Replanning. - Maximilian Fickert; Ivan Gavran; Ivan Fedotov; Jörg Hoffmann 001; Rupak Majumdar; Wheeler Ruml (AAAI, 2021)

Advice-Guided Reinforcement Learning in a non-Markovian Environment. - Daniel Neider; Jean-Raphaël Gaglione; Ivan Gavran; Ufuk Topcu; Bo Wu 005; Zhe Xu 005 (AAAI, 2021)

Lassie: HOL4 tactics by example. - Heiko Becker; Nathaniel Bos; Ivan Gavran; Eva Darulova; Rupak Majumdar (CPP, 2021)

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

Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods. - Ivan Gavran (2022)

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