Andreas Morgenstern. Symbolic controller synthesis for LTL specifications. PhD thesis, University of Kaiserslautern, 2010. [doi]
@phdthesis{de-2412, title = {Symbolic controller synthesis for LTL specifications}, author = {Andreas Morgenstern}, year = {2010}, url = {http://kluedo.ub.uni-kl.de/volltexte/2011/2572/index.html}, note = {http://d-nb.info/1009543989}, researchr = {https://researchr.org/publication/de-2412}, cites = {0}, citedby = {0}, school = {University of Kaiserslautern}, }