Ivan Gavran

Ivan Gavran

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 5558603
Max Planck Institute for Software Systems
person_outline Ivan Gavran's MOST POPULAR ARTICLES
1-) Learning linear temporal propertiesD Neider, I Gavran2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 20181232018
2-) Joint inference of reward machines and policies for reinforcement learningZ Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B WuProceedings of the International Conference on Automated Planning and …, 2020932020
3-) Advice-guided reinforcement learning in a non-Markovian environmentD Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z XuProceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021392021
4-) Antlab: A multi-robot task serverI Gavran, R Majumdar, I SahaACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017392017
5-) Reinforcement learning with stochastic reward machinesJ Corazza, I Gavran, D NeiderProceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6429-6436, 2022272022