Composition of stochastic services for LTL_f goal specifications

DOI10.1007/978-3-031-56940-1_17MaRDI QIDQ6630205zbMATH OpenFDO

Authors Giuseppe De Giacomo, Marco Favorito, Luciana Silo

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_17

zbMATH Keywords

lexicographic multi-objective optimizationlinear temporal logic on finite tracesMarkov decision processservice composition

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• Automatic behavior composition synthesis
• Markov Decision Processes with Multiple Objectives
• Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
• Stochastic games with lexicographic reachability-safety objectives
• The complexity of probabilistic verification

This page was built for publication: Composition of stochastic services for LTL\(_f\) goal specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6630205)