_id,doi,title
5395,10.15479/AT:IST-2009-0001,Qualitative analysis of partially-observable Markov decision processes
3837,10.1145/1629335.1629346,On relational interfaces
3841,10.1007/978-3-642-04420-5_2,Formalisms for specifying Markovian population models
3843,10.1109/HiBi.2009.23,Fast adaptive uniformization of the chemical master equation
3844,10.1109/RTSS.2009.9,"Distributed, modular HTL"