Select a category to explore research frontiers
Loading categories...
Research on compositional synthesis techniques that generate distributed controllers satisfying global specifications by reasoning about component interactions through assume-guarantee contracts.