Podobne zapisy

• Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
  od: Chen, Yu, i wsp.
  Wydane: (2022)
• Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
  od: Wang, Siqi, i wsp.
  Wydane: (2023)
• Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
  od: Ye, Bowen, i wsp.
  Wydane: (2024)
• Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
  od: Chen, Yu, i wsp.
  Wydane: (2025)
• A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
  od: Lv, Peng, i wsp.
  Wydane: (2024)