Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
larger Vici project funded by the Dutch Research Council. FireSky is an interdisciplinary project combining field, remote sensing and modeling approaches to study feedbacks between climate warming
-
: 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