Hazhar Rahmani

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