Bharath Siva Kumar Tati

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 3

Top Topics

Controller Synthesis

Markov Processes

State Transition

Top Venues

Cassting/SynCoP

Publications

Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati
Perturbation of CTMC Trapping Probabilities with Application to Model Repair. VALUETOOLS (2017)
Bharath Siva Kumar Tati, Markus Siegle
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP (2016)
Bharath Siva Kumar Tati, Markus Siegle
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP (2015)