Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
Ryohei Oura, Yuji Ito
Recent decision-making systems are increasingly complicated, making it crucial to verify and understand their behavior for a given specification. A promising approach is to compreh…
eess.SY2024
Dirichlet Logistic Gaussian Processes for Evaluation of Black-Box Stochastic Systems under Complex Requirements
Ryohei Oura, Yuji Ito
The requirement-driven performance evaluation of a black-box cyber-physical system (CPS) that utilizes machine learning methods has proven to be an effective way to assess the qual…