| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | |
| 1 | Klaus Schneider | [1] [2] [3] |