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