Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

DOI10.1109/TAC.2014.2298143MaRDI QIDQ2983169zbMATH OpenOpenAlexFDO

Authors Xuchu Ding, Stephen Smith, Calin Belta, Daniela Rus

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2014.2298143

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Cited in

(15)

• An online algorithm for the risk-aware restless bandit
• Path planning for robotic teams based on LTL specifications and Petri net models
• Collaborative models for autonomous systems controller synthesis
• Cost-based temporal reasoning
• Mixed \(H_{2}/H_{\infty}\) control of Markovian jump time-delay systems with uncertain transition probabilities
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• Design of biased random walks on a graph with application to collaborative recommendation
• Temporal normal form for linear temporal logic formulae
• Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
• Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints
• Optimal supervisory control of discrete event systems for cyclic tasks
• Robust satisfaction of metric interval temporal logic objectives in adversarial environments
• Regular decision processes
• Average reward reinforcement learning for omega-regular and mean-payoff objectives

This page was built for publication: Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

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