About
Hello!
I am a doctoral student at Max Planck Institute for Software Systems. My advisor is Prof. Rupak Majumdar.
Publications
- Compositional Synthesis of Finite State Abstractions with Rupak Majumdar and Anne-Kathrin Schmuck. arXiv link.
- Supervisory controller synthesis for decomposable deterministic context free specification languages with Anne-Kathrin Schmuck. WODES 2016