Relational Expressivity Coverage: Comparing Risk-Sensitive Criteria for SSP Problems

View at publisher
Authors: Igor Miyamura Agostinho, Valdinei Freire
Cited by: 0
References: 12

Fields of Study & Subjects

Reinforcement Learning in Robotics Formal Methods in Verification AI-based Problem Solving and Planning

Publication details

Journal / source
Lecture notes in computer science
Pages
410–425
Publication date
1 January 2026
Language
EN