| Learning linear temporal properties D Neider, I Gavran 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018 | 136 | 2018 |
| Joint inference of reward machines and policies for reinforcement learning Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu Proceedings of the International Conference on Automated Planning and …, 2020 | 108 | 2020 |
| Advice-guided reinforcement learning in a non-Markovian environment D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021 | 44 | 2021 |
| Antlab: A multi-robot task server I Gavran, R Majumdar, I Saha ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 41 | 2017 |
| Reinforcement learning with stochastic reward machines J Corazza, I Gavran, D Neider Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6429-6436, 2022 | 28 | 2022 |
| Rely/guarantee reasoning for asynchronous programs I Gavran, F Niksic, A Kanade, R Majumdar, V Vafeiadis 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 25 | 2015 |
| Interactive synthesis of temporal specifications from examples and natural language I Gavran, E Darulova, R Majumdar Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 22 | 2020 |
| Learning linear temporal properties. In 2018 Formal Methods in Computer Aided Design (FMCAD) D Neider, I Gavran IEEE 3, 4, 2018 | 20 | 2018 |
| Learning properties in LTL∩ ACTL from positive examples only R Ehlers, I Gavran, D Neider # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 104-112, 2020 | 12 | 2020 |
| Choosing the Initial State for Online Replanning M Fickert, I Gavran, I Fedotov, J Hoffmann, R Majumdar, W Ruml Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12311 …, 2021 | 3 | 2021 |
| Tᴏᴏʟ: accessible automated reasoning for human robot collaboration I Gavran, O Mailahn, R Müller, R Peifer, D Zufferey Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas …, 2018 | 3 | 2018 |
| The robot routing problem for collecting aggregate stochastic rewards R Dimitrova, I Gavran, R Majumdar, VS Prabhu, SEZ Soudjani arXiv preprint arXiv:1704.05303, 2017 | 3 | 2017 |
| Precise but natural specification for robot tasks I Gavran, B Boldt, E Darulova, R Majumdar arXiv preprint arXiv:1803.02238, 2018 | 2 | 2018 |
| Simultaneous Re-Planning and Plan Execution for Online Job Arrival I Gavran, M Fickert, I Fedotov, J Hoffmann, R Majumdar HSDIP 2019, 55, 2019 | 1 | 2019 |
| 28th International Conference on Concurrency Theory (CONCUR 2017) AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
| Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods I Gavran Technische Universität Kaiserslautern, 2022 | | 2022 |
| Lassie: HOL4 tactics by example H Becker, N Bos, I Gavran, E Darulova, R Majumdar Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | | 2021 |
| Precise but Natural Specification for Robot Tasks. B Boldt, I Gavran, E Darulova, R Majumdar CoRR, 2018 | | 2018 |
| SAT/SMT S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina, A Cimatti, ... | | |
