2 papers
cs.FL2023
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…
eess.SY2023
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…