%0 Thesis %1 morgenstern2010symbolic %A Morgenstern, Andreas %D 2010 %K %T Symbolic controller synthesis for LTL specifications

@phdthesis{morgenstern2010symbolic, added-at = {2023-12-13T05:00:53.000+0100}, author = {Morgenstern, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2a52d6bdb9c6361fe6f3ab416e46ed9c4/admin}, dnbtitleid = {1009823841}, interhash = {9d56d53602e233cb8dcc8dee9bd4fe3f}, intrahash = {a52d6bdb9c6361fe6f3ab416e46ed9c4}, keywords = {}, school = {TU Kaiserslautern}, timestamp = {2023-12-13T05:00:53.000+0100}, title = {Symbolic controller synthesis for LTL specifications}, year = 2010 }