Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

DOI10.1109/TAC.2014.2298143zbMath1360.90276OpenAlexW2059470663MaRDI QIDQ2983169

Stephen L. Smith, Calin Belta, Daniela Rus, Xuchu Ding

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

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

Related Items (9)

Path planning for robotic teams based on LTL specifications and Petri net models ⋮ Design of biased random walks on a graph with application to collaborative recommendation ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Cost-based temporal reasoning ⋮ Temporal normal form for Linear Temporal Logic formulae1 ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ An online algorithm for the risk-aware restless bandit ⋮ 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

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