Cover Image

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Yu, Li, Shaoyuan, Yin, Xiang
Format:	Preprint
Published:	2022
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2024)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
by: Li, Yuda, et al.
Published: (2026)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
by: Yang, Tiange, et al.
Published: (2023)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
by: Lv, Peng, et al.
Published: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
by: Kalagarla, Krishna C., et al.
Published: (2024)

Causal Temporal Reasoning for Markov Decision Processes
by: Kazemi, Milad, et al.
Published: (2022)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
by: Han, Tao, et al.
Published: (2025)

Online Reinforcement Learning in Markov Decision Process Using Linear Programming
by: Leon, Vincent, et al.
Published: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
by: Wang, Shuqi, et al.
Published: (2024)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)

Optimal Rates of Convergence for Entropy Regularization in Discounted Markov Decision Processes
by: Müller, Johannes, et al.
Published: (2024)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
by: Yu, Xinyi, et al.
Published: (2023)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)

Intermittently Observable Markov Decision Processes
by: Chen, Gongpu, et al.
Published: (2023)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)

A Markov Decision Process Framework for Enhancing Power System Resilience during Wildfires under Decision-Dependent Uncertainty
by: Zhao, Xinyi, et al.
Published: (2026)

Convex Approximations of Random Constrained Markov Decision Processes
by: Varagapriya, V, et al.
Published: (2025)

Operator Splitting for Convex Constrained Markov Decision Processes
by: Grontas, Panagiotis D., et al.
Published: (2024)

Off-Policy Temporal Difference Learning for Perturbed Markov Decision Processes: Theoretical Insights and Extensive Simulations
by: Forootani, Ali, et al.
Published: (2025)

Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions
by: Brown, Seth, et al.
Published: (2023)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
by: Arias, Andres, et al.
Published: (2024)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
by: Liu, Ruijia, et al.
Published: (2025)

A Model-free Biomimetics Algorithm for Deterministic Partially Observable Markov Decision Process
by: Yu, Yide, et al.
Published: (2024)

Distributionally Robust Safety Verification for Markov Decision Processes
by: Mazumdar, Abhijit, et al.
Published: (2024)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes
by: Shi, Chongyang, et al.
Published: (2024)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Optimized Task Assignment and Predictive Maintenance for Industrial Machines using Markov Decision Process
by: Nasir, Ali, et al.
Published: (2024)

Differentially Private Reward Functions in Policy Synthesis for Markov Decision Processes
by: Benvenuti, Alexander, et al.
Published: (2023)