Publications
Filters: Author is Falak Sher [Clear All Filters]
, “Modelling and statistical model checking of a microgrid”, {STTT}, vol. 17, p. 537–554, 2015.
, “Tight Game Abstractions of Probabilistic Automata”, in Concurrency Theory (CONCUR), 2014.
, “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.
, “Modelling and Statistical Model Checking of a Microgrid”, in Workshop on Statistical Model Checking (SMC), 2013.
