| Affiliation: | University of Dortmund |
|---|---|
| Country: | Germany |
| Paper Code | Title | Topic |
|---|---|---|
| Mo-E17-TO/6 | Improving Dependability of Logic Controllers by Algorithmic Verification | 5.1 |
| We-M12-TO/2 | Synthesis of Supervisory Controllers for Hybrid Systems Using Abstraction Refinement | 1.3 |