Learning Explainable and Better Performing Representations of POMDP Strategies

[HTML] springer.com

[HTML][HTML] Weakest precondition inference for non-deterministic linear array programs

S Sumanth Prabhu, D D'Souza, S Chakraborty… - … Conference on Tools …, 2024 - Springer
Precondition inference is an important problem with many applications. Existing
precondition inference techniques for programs with arrays have limited ability to find and …
被引用次数：2 相关文章 所有 4 个版本

The AI Act and some implications for developing AI-based systems

M Leucker - The Combined Power of Research, Education, and …, 2024 - Springer
This paper presents several challenges when developing AI-based software systems for
potentially safety-critical domains in the European jurisdiction. Starting with the legal …
被引用次数：2 相关文章 所有 2 个版本
[PDF] arxiv.org

Policies Grow on Trees: Model Checking Families of MDPs

R Andriushchenko, M Češka, S Junges… - arXiv preprint arXiv …, 2024 - arxiv.org
Markov decision processes (MDPs) provide a fundamental model for sequential decision
making under process uncertainty. A classical synthesis task is to compute for a given MDP …
相关文章 所有 2 个版本

Tools and Algorithms for the Construction and Analysis of Systems LNCS 14571

B Finkbeiner, L Kovács - Springer
This three-volume proceedings contains the papers presented at the 30th International
Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS …
相关文章 所有 2 个版本