|
|
|
|
|
[MoSL08] A. Morgenstern and K. Schneider and S. Lamberti Generating Deterministic &omega-Automata for most LTL Formulas by the Breakpoint Construction Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
|
|
|
|
|
[MoSc08] A. Morgenstern and K. Schneider From LTL to Symbolically Represented Deterministic Automata Verification, Model Checking, and Abstract Interpretation (VMCAI) |
|
|
|
|
[MoSc07] A. Morgenstern and K. Schneider Synthesizing Deterministic Controllers in Supervisory Control |
|
|
|
|
[MoSc05] A. Morgenstern and K. Schneider A Unified Model Checking Framework for the Supervisor Synthesis Problem Games for Logic and Programming Languages |
|
|
|
|
|
[MoSc05a] A. Morgenstern and K. Schneider Synthesizing Deterministic Controllers in Supervisory Control International Conference on Informatics in Control, Automation and Robotics (ICINCO) |
|
|
|
|
|
[MoSc05b] A. Morgenstern and K. Schneider Using Model Checking to Solve Supervisor Synthesis Problems Conference on Decision and Control and European Control Conference (CDC/ECC) |
|
|
|
|
[Morg03] A. Morgenstern Werkzeuge zur Verifikation diskreter Ereignis-Systeme Master Thesis |
|