Bharath Siva Kumar Tati

According to our database, Bharath Siva Kumar Tati authored at least 5 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Markov chains with perturbed rates to absorption: Theory and application to model repair.

Alexander Gouberman, Markus Siegle, Bharath Tati

Perform. Evaluation, 2019

2018

Quantitative Model Repair of Stochastic Systems.

Bharath Tati

PhD thesis, 2018

2017

Perturbation of CTMC Trapping Probabilities with Application to Model Repair.

Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

2016

Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements.

Bharath Siva Kumar Tati, Markus Siegle

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015

Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.

Bharath Siva Kumar Tati, Markus Siegle

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015