Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Falak Sher  [Clear All Filters]
2013
B. Delahaye, et al., “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.
S. Chakraborty, M. Strelec, J. - P. Katoen, and F. Sher, “Modelling and Statistical Model Checking of a Microgrid”, in Workshop on Statistical Model Checking (SMC), 2013.