Concepedia

Ivan Gavran

IG

Statistics

Publications

9

Citations

286

H-Index

9

Active since

2015

Affiliations

Max Planck Institute for Software Systems(Current)

The University of Texas at Austin

Ivan Gavran is an author at Max Planck Institute for Software Systems specializing in computer science, computing, and machine learning.

Publications per year

2015–2022

9

Publications

9

Learning Linear Temporal Properties

Daniel Neider, Ivan Gavran · 2018 · 105 citations

Computing, Computer Science, Algorithms +14

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Zhe Xu, Ivan Gavran, Ahmad Yousef et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2020 · 58 citations · Full text

Computing, Computer Science, Artificial Intelligence +13

Ivan Gavran, Rupak Majumdar, Indranil Saha · ACM Transactions on Embedded Computing Systems · 2017 · 26 citations

Engineering, Autonomous Systems, Computer Science +17

Advice-Guided Reinforcement Learning in a non-Markovian Environment

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 25 citations · Full text

Computing, Autonomous Systems, Computer Science +14

Interactive synthesis of temporal specifications from examples and natural language

Ivan Gavran, Eva Darulová, Rupak Majumdar · Proceedings of the ACM on Programming Languages · 2020 · 19 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 9