Pages that link to "Item:Q2983169"
From MaRDI portal
The following pages link to Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints (Q2983169):
Displaying 14 items.
- An online algorithm for the risk-aware restless bandit (Q2029383) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Cost-based temporal reasoning (Q2212079) (← links)
- Mixed \(H_{2}/H_{\infty}\) control of Markovian jump time-delay systems with uncertain transition probabilities (Q2293062) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Design of biased random walks on a graph with application to collaborative recommendation (Q2669314) (← links)
- Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints (Q5125574) (← links)
- Optimal supervisory control of discrete event systems for cyclic tasks (Q6550231) (← links)
- Robust satisfaction of metric interval temporal logic objectives in adversarial environments (Q6555607) (← links)
- Regular decision processes (Q6566638) (← links)
