Ivan Gavran

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 17

Top Topics

Natural Language

Reinforcement Learning

Markov Decision Processes

Top Venues

Publications

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