_id,doi,title
4456,10.1145/1081706.1081713,Permissive interfaces
4457,10.1145/1065910.1065914,Composable code generation for distributed Giotto
4536,DOI: 10.1007/11603009_13,Automatic rectangular refinement of affine hybrid systems
4541,10.1007/11590156_1,Semiperfect-information games
4553,10.1007/11523468_71,The complexity of stochastic Rabin and Streett games
4554,10.1109/LICS.2005.26,Mean-payoff parity games
4557,,Counterexample-guided planning