Ivan Gavran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICST | Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. | Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider |
| 2022 | AAAI | Reinforcement Learning with Stochastic Reward Machines. | Jan Corazza, Ivan Gavran, Daniel Neider |
| 2021 | AAAI | Choosing the Initial State for Online Replanning. | Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jrg Hoffmann, Rupak Majumdar, Wheeler Ruml |
| 2021 | AAAI | Advice-Guided Reinforcement Learning in a non-Markovian Environment. | Daniel Neider, Jean-Raphal Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu |
| 2021 | CPP | Lassie: HOL4 tactics by example. | Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar |
| 2020 | FMCAD | Learning Properties in LTL ∩ ACTL from Positive Examples Only. | Rdiger Ehlers, Ivan Gavran, Daniel Neider |
| 2018 | FMCAD | Learning Linear Temporal Properties. | Daniel Neider, Ivan Gavran |
| 2018 | OOPSLA | Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. | Ivan Gavran, Ortwin Mailahn, Rainer Mller, Richard Peifer, Damien Zufferey |
| 2017 | CONCUR | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2015 | CONCUR | Rely/Guarantee Reasoning for Asynchronous Programs. | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |