2 papers
cs.SE2025
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
Testing probabilistic programs is non-trivial due to their stochastic nature. Given an input, the program may produce different outcomes depending on the underlying stochastic choi…
cs.LG2025
Symbolic State Partitioning for Reinforcement Learning
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen +1
Tabular reinforcement learning methods cannot operate directly on continuous state spaces. One solution for this problem is to partition the state space. A good partitioning enable…