Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Control Systems Letters"
DOI: 10.48550/arxiv.2204.04383
Abstract: This letter proposes a learning-based bounded synthesis for a semi-Markov decision process (SMDP) with a linear temporal logic (LTL) specification. In the product of the SMDP and the deterministic $K$ -co-Büchi automaton ( $\text{d}K$ cBA)… read more here.
Keywords: based bounded; synthesis semi; tex math; inline formula ... See more keywords