22 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- ETH ZurichCH2 papers
- Forschungszentrum JülichDE2 papers
- German Research Centre for Artificial IntelligenceDE2 papers
- Max Planck Institute for InformaticsDE2 papers
- Université de LorraineFR2 papers
- Université Toulouse III - Paul SabatierFR2 papers
- University of StuttgartDE2 papers
- Aarhus UniversityDK1 paper
- Advanced Materials and Devices (United States)US1 paper
- Australian National UniversityAU1 paper
- Bar-Ilan UniversityIL1 paper
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems: Technical Report
Johannes Schmalz, Chaahat Jain
Learned action policies are increasingly popular in sequential decision-making, but suffer from a lack of safety guarantees. Recent work introduced a pipeline for testing the safet…
cs.AI2026
Efficient Constraint Generation for Stochastic Shortest Path Problems
Johannes Schmalz, Felipe Trevizan
Stochastic Shortest Path problems (SSPs) are traditionally solved by computing each state's cost-to-go by applying Bellman backups. A Bellman backup updates a state's cost-to-go by…