Search Results for author: Andrew M. Wells

Found 1 papers, 0 papers with code

LTLf Synthesis on Probabilistic Systems

no code implementations23 Sep 2020 Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Linear Temporal Logic over finite traces (LTLf) has been used to express such properties, but no tools exist to solve policy synthesis for MDP behaviors given finite-trace properties.

Cannot find the paper you are looking for? You can Submit a new open access paper.