Tatjana Petrov
Informatikerin
Geboren:
1983
Hat mitgewirkt an:
-
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
-
Automated deep abstractions for stochastic chemical reaction networks
-
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
-
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking