Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. - Bharath Siva Kumar Tati; Markus Siegle (SynCoP, 2015)

Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. - Bharath Siva Kumar Tati; Markus Siegle (Cassting/SynCoP, 2016)

Perturbation of CTMC Trapping Probabilities with Application to Model Repair. - Alexander Gouberman; Markus Siegle; Bharath Siva Kumar Tati (VALUETOOLS, 2017)

Quantitative Model Repair of Stochastic Systems. - Bharath Tati (Dr. Hut, 2018)

Markov chains with perturbed rates to absorption: Theory and application to model repair. - Alexander Gouberman; Markus Siegle; Bharath Tati (Perform. Evaluation, 2019)