Andreas Morgenstern

	2008
3		Andreas Morgenstern, Klaus Schneider: From LTL to Symbolically Represented Deterministic Automata. VMCAI 2008: 279-293
	2005
2		Andreas Morgenstern, Klaus Schneider: A unified model checking framework for the supervisor synthesis problem. GALOP 2005: 140-156
1		Andreas Morgenstern, Klaus Schneider: Synthesizing deterministic controllers in supervisory control. ICINCO 2005: 24-31

Coauthor Index

1

Klaus Schneider

[1] [2] [3]