About
Hi :)
I was a doctoral student at Max Planck Institute for Software Systems, advised by Rupak Majumdar. I graduated with the work exploring applications of formal methods to robotic systems. Currently, I am with Informal Systems, working on formal methods for blockchain software.
Publications
- Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods [dissertation] [blog post summary]
- Reinforcement Learning with Stochastic Reward Machines [paper] with Jan Corazza and Daniel Neider (AAAI 2022)
- Choosing the Initial State for Online Replanning [paper] with Maximilian Fickert, Ivan Fedotov, Joerg Hoffmann, Rupak Majumdar and Wheeler Ruml (AAAI 2021)
- Advice-Guided Reinforcement Learning in a Non-Markovian Environment [paper] with Daniel Neider, Jean-Raphael Gaglione, Ufuk Topcu, Bo Wu and Zhe Xu (AAAI 2021)
- Lassie: HOL4 Tactics by Example [paper] with Heiko Becker, Nathaniel Bos, Eva Darulova and Rupak Majumdar (CPP 2021, 17.1. - 22.1.)
- Interactive Synthesis of Temporal Specifications from Examples and Natural Language [paper], [video] [code] [ blog post (Croatian)] with Eva Darulova and Rupak Majumdar (OOPSLA 2020)
- Joint Inference of Reward Machines and Policies for Reinforcement Learning [paper] [video] with Zhe Xu, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu and Bo Wu (ICAPS 2020)
- Learning Properties in LTL ∩ ACTL from Positive Examples Only [paper] [video] [code] with Rüdiger Ehlers and Daniel Neider (FMCAD 2020)
- Learning Linear Temporal Properties [paper] [code] with Daniel Neider (FMCAD 2018)
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration [paper] with Richard Peifer, Ortwin Mailahn, Damien Zufferey and Rainer Mueller (Onward 2018)
- Precise but Natural Specification for Robot Tasks [paper][video][code] with Brendon Boldt, Eva Darulova and Rupak Majumdar
- Antlab - a Multi-Robot Task Server [paper][video][code] with Rupak Majumdar and Indranil Saha (EMSOFT 2017 )
- The Robot Routing Problem for Collecting Aggregate Stochastic Rewards [paper] with Rayna Dimitrova, Rupak Majumdar, Vinayak Prabhu and Sadegh Soudjani (CONCUR 2017)
- Rely/Guarantee Reasoning for Asynchronous Programs [paper] with Filip Nikšić, Aditya Kanade, Rupak Majumdar and Viktor Vafeiadis ( CONCUR 2015 )
Advised students
I had a fruitful collaboration with a number of students - they either joined for an internship or I was a co-advisor for some of their university projects.- Eman Eman
- Chuntong Gao
- Ivan Fedotov
- Akshal Aniche
- Basavaraj Hampiholi
- Brendon Boldt
- Richard Peifer
- Aaron Miller
Teaching
In the winter semester 2017./2018. I was assisting in teaching of the Concurrency Theory course.
In the winter semester 2016./2017. I was assisting in teaching of the Complexity Theory course.