A necessary and sufficient condition for diagnosability of stochastic discrete event systems David Thorsley OriginalPaper 24 February 2017 Pages: 481 - 500
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes Qingda WeiXian Chen OriginalPaper 20 February 2017 Pages: 501 - 524
Fluid approximation of Petri net models with relatively small populations Estíbaliz FracaJorge JúlvezManuel Silva OriginalPaper 13 March 2017 Pages: 525 - 546
Latticed-LTL synthesis in the presence of noisy inputs Shaull AlmagorOrna Kupferman OriginalPaper 06 April 2017 Pages: 547 - 572