Welcome to my webpage. I am a PhD candidate in Computer Science at the University of South Carolina. I work with Dr. O'Kane on planning problems in robotics.
Publications
- Hazhar Rahmani, Jason M. O'Kane. Equivalence notions for state space minimization of combinatorial filters. To appear in IEEE Transactions on Robotics, 2021.
- Diptanil Chaudhuri, Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane. Tractable Planning for Coordinated Story Capture: Sequential Stochastic Decoupling. To appear in International Symposium on Distributed Autonomous Robotic Systems , 2021.
- Yulin Zhang, Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane. Accelerating combinatorial filter reduction through constraints. under review, 2020.
- Hazhar Rahmani, Jason M. O'Kane. What to Do When You Can't Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints. In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020.
- Hazhar Rahmani, Jason M. O'Kane. Integer linear programming formulations of the filter partitioning minimization problem. Journal of Combinatorial Optimization, 2020.
- Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane. Planning to Chronicle. Workshop on the Algorithmic Foundations of Robotics (WAFR XIV), 2020.
- Hazhar Rahmani, Jason M. O'Kane. Optimal temporal logic planning with cascading soft constraints. In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019.
- Hazhar Rahmani, Jason M. O'Kane. On the relationship between bisimulation and combinatorial filter reduction. In Proc. IEEE International Conference on Robotics and Automation, 2018.
Education:
- P.hD. candidate in Computer Science, University of South Carolina, Columbia, USA. 2016-present
- M.Sc. in Computer Science, Sharif University of Technology, Tehran. 2012
- B.Sc. in Computer (Software) Engineering, Iran University of Science and Technology, Tehran. 2008
Awards
- Outstanding student award, Department of Mathematics and Computer Science, Sharif University of Technology , 2012.
Research Interests:
- Planning in Robotics
- Computational Geometry
- Logics and Model Checking
- Machine Learning