18 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.AI2022★ 1 cited
Synthesis from Satisficing and Temporal Goals
Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi +1
Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic LTL with soft constraints expressed by discounted-sum (DS) reward…
cs.LO2020★ 18 cited
LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki +1
Many systems are naturally modeled as Markov Decision Processes (MDPs), combining probabilities and strategic actions. Given a model of a system as an MDP and some logical specific…