共 54 条
[1]
[Anonymous], 1976, DENUMERABLE MARKOV C, DOI DOI 10.1007/978-1-4684-9455-6
[2]
[Anonymous], 2012, AAAI
[3]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]
Baier C., 2014, TOOLS ALGORITHMS CON
[6]
Bhatia A, 2010, P 2010 IEEE INT C RO
[8]
Boutilier C, 1999, J ARTIF INTELL RES, V11, P1
[9]
Cashmore M, 2015, P 25 INT C PLANN SCH
[10]
Castro L., 2013, P 52 IEEE C DEC CONT