activity
20182023
most citedPolicy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

3 citations · 4 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

2 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.AI2023

Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives

Lening Li, Zhentian Qian, Jianan Xia +7

We study formal policy synthesis for continuous-state stochastic systems under linear temporal logic specifications. The product of the system with the automaton of the specificati…