Ivan Gavran

According to our database, Ivan Gavran authored at least 14 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods.

Ivan Gavran

PhD thesis, 2022

Reinforcement Learning with Stochastic Reward Machines.

Jan Corazza, Ivan Gavran, Daniel Neider

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Lassie: HOL4 tactics by example.

Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Choosing the Initial State for Online Replanning.

Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Interactive synthesis of temporal specifications from examples and natural language.

Ivan Gavran, Eva Darulova, Rupak Majumdar

Proc. ACM Program. Lang., 2020

Learning Properties in LTL ∩ ACTL from Positive Examples Only.

Rüdiger Ehlers, Ivan Gavran, Daniel Neider

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.

Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2018

Precise but Natural Specification for Robot Tasks.

Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar

CoRR, 2018

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.

Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

Learning Linear Temporal Properties.

Daniel Neider, Ivan Gavran

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Antlab: A Multi-Robot Task Server.

Ivan Gavran, Rupak Majumdar, Indranil Saha

ACM Trans. Embed. Comput. Syst., 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2015

Rely/Guarantee Reasoning for Asynchronous Programs.

Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis

Proceedings of the 26th International Conference on Concurrency Theory, 2015