| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Andreas Morgenstern, Klaus Schneider: Program Sketching via CTL* Model Checking. SPIN 2011: 126-143 |
| 5 | | Andreas Morgenstern, Klaus Schneider: A LTL Fragment for GR(1)-Synthesis iWIGP 2011: 33-45 |
| 4 | | Andreas Morgenstern, Klaus Schneider: Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis GANDALF 2010: 89-102 |
| 3 | | Andreas Morgenstern, Klaus Schneider: From LTL to Symbolically Represented Deterministic Automata. VMCAI 2008: 279-293 |
| 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 |
Selection of 6 from 6 records - Andreas Morgenstern has 1 coauthors
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page