Follow
Ivan Gavran
Title
Cited by
Cited by
Year
Learning linear temporal properties
D Neider, I Gavran
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
1112018
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
872020
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
322021
Antlab: A multi-robot task server
I Gavran, R Majumdar, I Saha
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
312017
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
242015
Learning linear temporal properties. In 2018 Formal Methods in Computer Aided Design (FMCAD)
D Neider, I Gavran
IEEE 3, 4, 2018
182018
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
152020
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
142022
Learning properties in LTL∩ ACTL from positive examples only
R Ehlers, I Gavran, D Neider
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 104-112, 2020
102020
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
32021
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
32018
Precise but natural specification for robot tasks
I Gavran, B Boldt, E Darulova, R Majumdar
arXiv preprint arXiv:1803.02238, 2018
22018
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
22017
Simultaneous Re-Planning and Plan Execution for Online Job Arrival
I Gavran, M Fickert, I Fedotov, J Hoffmann, R Majumdar
HSDIP 2019, 55, 2019
12019
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, ...
The system can't perform the operation now. Try again later.
Articles 1–18