DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis
10.1145/3593013.3594028,13228,ToHe,Runtime monitoring of dynamic fairness properties
10.1007/978-3-031-37703-7_17,13310,"GradSch,ToHe",Monitoring algorithmic fairness
10.46298/theoretics.23.4,14920,ToHe,Fast symbolic algorithms for mega-regular games under strong transition fairness
10.5281/ZENODO.7877790,14994,ToHe,A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations
10.1007/978-3-031-37709-9_1,14758,ToHe,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
10.1007/978-3-030-99527-0_5,12529,,A direct symbolic algorithm for solving stochastic rabin games
10.1145/3501710.3519535,12530,,BOCoSy: Small but powerful symbolic output-feedback control