Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
Universities of Tübingen and Hohenheim. The focus research unit brings together paleobiologists, earth scientists and earth system modelers who jointly aim to disentangle hydroclimate and enigmatic biodiversity
-
focuses on the resilience of the marine sinks of heat and carbon, using Earth system and biogeochemical models, observational data, and scenario analysis to identify early-warning signals and tipping points
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
Searches related to model checking
Enter an email to receive alerts for model-checking positions