4 citations · 4 across the 10 of their papers we have counts for
11 papers
Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
Hazhar Rahmani, Jie Fu
Many preference elicitation algorithms consider preference over propositional logic formulas or items with different attributes. In sequential decision making, a user's preference…
Optimal sensor deception in stochastic environments with partial observability to mislead a robot to a decoy goal
Hazhar Rahmani, Mukulika Ghosh, Syed Md Hasnayeen
Deception is a common strategy adapted by autonomous systems in adversarial settings. Existing deception methods primarily focus on increasing opacity or misdirecting agents away f…
Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
Hazhar Rahmani, Abhishek N. Kulkarni, Jie Fu
Human preferences are not always represented via complete linear orders: It is natural to employ partially-ordered preferences for expressing incomparable outcomes. In this work, w…
Optimal Sensor Deception to Deviate from an Allowed Itinerary
Hazhar Rahmani, Arash Ahadi, Jie Fu
In this work, we study a class of deception planning problems in which an agent aims to alter a security monitoring system's sensor readings so as to disguise its adversarial itine…
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
Lening Li, Hazhar Rahmani, Jie Fu
This paper studies temporal planning in probabilistic environments, modeled as labeled Markov decision processes (MDPs), with user preferences over multiple temporal goals. Existin…
Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent
Chongyang Shi, Abhishek N. Kulkarni, Hazhar Rahmani +1
This paper studies a language-based opacity enforcement in a two-player, zero-sum game on a graph. In this game, player 1 (P1) wins if it can achieve a secret temporal goal describ…
Probabilistic Planning with Partially Ordered Preferences over Temporal Goals
Hazhar Rahmani, Abhishek N. Kulkarni, Jie Fu
In this paper, we study planning in stochastic systems, modeled as Markov decision processes (MDPs), with preferences over temporally extended goals. Prior work on temporal plannin…
Sensor selection for detecting deviations from a planned itinerary
Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane
Suppose an agent asserts that it will move through an environment in some way. When the agent executes its motion, how does one verify the claim? The problem arises in a range of c…
Accelerating combinatorial filter reduction through constraints
Yulin Zhang, Hazhar Rahmani, Dylan A. Shell +1
Reduction of combinatorial filters involves compressing state representations that robots use. Such optimization arises in automating the construction of minimalist robots. But exa…
Planning to Chronicle
Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane
An important class of applications entails a robot monitoring, scrutinizing, or recording the evolution of an uncertain time-extended process. This sort of situation leads an inter…
What to Do When You Can't Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints
Hazhar Rahmani, Jason M. O'Kane
In this paper, we consider a temporal logic planning problem in which the objective is to find an infinite trajectory that satisfies an optimal selection from a set of soft specifi…