In this project, you will explore alternative strategies for computing and/or converting extra guards for controllable events, to improve their conciseness and readability. One idea could be to use alternative binary representations, such as MDDs (multi-valued decision diagram), to resolve any binary encoding details that may arise with BDDs. Another idea could be to reuse results from related fields, like multi-level logic circuit optimization. You will investigate existing literature, shape your own ideas based on the literature, implement the ideas, and validate the approach. If successful, the results could be incorporated into the Eclipse ESCET open source project.