Search: (more)
Header

Search Result

2013

BibTeX Search WWW PDF   [GeMS13a]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
Presentation
BibTeX Search WWW PDF   [MSLG13]
A. Morgenstern and K. Schneider and S. Lamberti and M. Gesell
From LTL to Symbolically Represented Deterministic Automata
Presentation
BibTeX Search WWW PDF   [MoGS13a]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Presentation
BibTeX Search WWW PDF   [Morg13]
A. Morgenstern
Controller Synthesis and Infinite Games
Presentation

2011

BibTeX Search WWW PDF   [MoSc11e]
A. Morgenstern and K. Schneider
Synthesis of Sorting Networks using SAT Solvers
Presentation
BibTeX Search WWW PDF   [MoSc11f]
A. Morgenstern and K. Schneider
Program Sketching via CTL* Model Checking
Presentation

2010

BibTeX Search WWW PDF   [MoSc10a]
A. Morgenstern and K. Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Presentation

2008

BibTeX Search WWW PDF   [MoSL08b]
A. Morgenstern and K. Schneider and S. Lamberti
Generating Deterministic ω-Automata for most LTL formulas by the Breakpoint Construction
Presentation
BibTeX Search WWW PDF   [MoSc08c]
A. Morgenstern and K. Schneider
From LTL to Symbolically Represented Deterministic Automata
Presentation

2005

BibTeX Search WWW PDF   [MoSc05c]
A. Morgenstern and K. Schneider
Using Model Checking to Solve Supervisor Synthesis Problems
Presentation
BibTeX Search WWW PDF   [MoSc05d]
A. Morgenstern and K. Schneider
Synthesizing Deterministic Controllers in Supervisory Control
Presentation