Ivan Gavran

21 papers A* 4A 1B 5Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs.
ICST
Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider
2025 J jnl
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs.
CoRR
Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider
2025 J jnl
Reinforcement Learning with Stochastic Reward Machines.
CoRR
Jan Corazza, Ivan Gavran, Daniel Neider
2022 — —
Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods.
Ivan Gavran
2022 A* conf
Reinforcement Learning with Stochastic Reward Machines.
AAAI
Jan Corazza, Ivan Gavran, Daniel Neider
2021 A* conf
Advice-Guided Reinforcement Learning in a non-Markovian Environment.
AAAI
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
2021 A* conf
Choosing the Initial State for Online Replanning.
AAAI
Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
2021 J jnl
Lassie: HOL4 Tactics by Example.
CoRR
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2021 B conf
Lassie: HOL4 tactics by example.
CPP
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2020 J jnl
Interactive synthesis of temporal specifications from examples and natural language.
Proc. ACM Program. Lang.
Ivan Gavran, Eva Darulova, Rupak Majumdar
2020 A* conf
Joint Inference of Reward Machines and Policies for Reinforcement Learning.
ICAPS
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2020 B conf
Learning Properties in LTL ∩ ACTL from Positive Examples Only.
FMCAD
Rüdiger Ehlers, Ivan Gavran, Daniel Neider
2019 J jnl
Joint Inference of Reward Machines and Policies for Reinforcement Learning.
CoRR
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2018 B conf
Learning Linear Temporal Properties.
FMCAD
Daniel Neider, Ivan Gavran
2018 J jnl
Learning Linear Temporal Properties.
CoRR
Daniel Neider, Ivan Gavran
2018 J jnl
Precise but Natural Specification for Robot Tasks.
CoRR
Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar
2018 — conf
Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.
Onward!
Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey
2017 J jnl
Antlab: A Multi-Robot Task Server.
ACM Trans. Embed. Comput. Syst.
Ivan Gavran, Rupak Majumdar, Indranil Saha
2017 B conf
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CONCUR
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017 J jnl
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2015 B conf
Rely/Guarantee Reasoning for Asynchronous Programs.
CONCUR
Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis