Showing 1 - 2 results of 2 for search 'Andreas Morgenstern', query time: 0.16s Refine Results
  1. 1
    A LTL Fragment for GR(1)-Synthesis
    by Klaus Schneider, Andreas Morgenstern
    Published 2011-02-01
    Get full text
    Article
  2. 2
    Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
    by Andreas Morgenstern, Klaus Schneider
    Published 2010-06-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search