44 citations · 280 across the 48 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
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…
cs.FL2022★ 2 cited
Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives
Abhishek Ninad Kulkarni, Jie Fu
Preferences play a key role in determining what goals/constraints to satisfy when not all constraints can be satisfied simultaneously. In this work, we study preference-based plann…
cs.FL2021★ 3 cited
Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions
Lening Li, Jie Fu
Metric Temporal Logic can express temporally evolving properties with time-critical constraints or time-triggered constraints for real-time systems. This paper extends the Metric I…