Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Chakraborty, Souymodip  [Clear All Filters]
2014
S. Chakraborty and J. - P. Katoen, “Parametric LTL on Markov Chains”, in IFIP Conference on Theoretical Computer Science (TCS), 2014.
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.