P.S. Thiagarajan
Identifiers
- name variant P.S. Thiagarajan 0.60 · backfill
Papers (2)
- Statistical Model Checking based Analysis of Biological Networks q-bio.QM · 2018 · author #3
- Approximate probabilistic verification of hybrid systems cs.SY · 2014 · author #5
Mentions
Frequent Coauthors
- Benjamin M. Gyori 2 shared papers
- Bing Liu 2 shared papers
- R. Ramanathan 1 shared papers
- Soumya Paul 1 shared papers