Showing 2024Show all
2 papers · 1 filter
cs.LG2024
Certifiably Robust Policies for Uncertain Parametric Environments
Yannik Schnitzer, Alessandro Abate, David Parker
We present a data-driven approach for producing policies that are provably robust across unknown stochastic environments. Existing approaches can learn models of a single environme…
cs.LO2024
Bisimulation Learning
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
We introduce a data-driven approach to computing finite bisimulations for state transition systems with very large, possibly infinite state space. Our novel technique computes stut…