Verification and External Parameter Inference for Stochastic World Models

Documenti analoghi

• Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
  di: Evangelidis, Alexandros, et al.
  Pubblicazione: (2025)
• Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
  di: Vázquez, Gricel, et al.
  Pubblicazione: (2026)
• Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
  di: Kleijwegt, Alex, et al.
  Pubblicazione: (2025)
• Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
  di: Vázquez, Gricel, et al.
  Pubblicazione: (2026)
• Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
  di: Ye, Kangfeng, et al.
  Pubblicazione: (2024)