Martin Sachenbacher
发表
Barry O'Sullivan,
Michela Milano,
Martin Sachenbacher,
2014,
IEEE Trans. Computers.
Martin Sachenbacher,
Paul Maier,
2009,
2009 IEEE Conference on Emerging Technologies & Factory Automation.
Martin Sachenbacher,
Paul Maier,
2009
.
Stefan Waldherr,
Martin Sachenbacher,
Paul Maier,
2010,
KI.
Brian C. Williams,
Martin Sachenbacher,
Tsoline Mikaelian,
2005,
AAAI.
Pascal Van Hentenryck,
Benjamin Kuipers,
Emilio Frazzoli,
2012,
International Conference on Automated Planning and Scheduling.
Martin Leucker,
Martin Sachenbacher,
Martin Blankenburg,
2014
.
Martin Sachenbacher,
Paul Maier,
2008,
CP.
Martin Sachenbacher,
Paul Maier,
Dominik Jain,
2011
.
Brian C. Williams,
Martin Sachenbacher,
2005,
IJCAI.
Stefan Heinz,
Martin Sachenbacher,
2009,
CPAIOR.
Jinbo Huang,
Martin Sachenbacher,
Anika Schumann,
2009,
Electron. Notes Theor. Comput. Sci..
David Ciechanowicz,
Martin Leucker,
Martin Sachenbacher,
2012,
MKWI 2012.
Carmel Domshlak,
Martin C. Cooper,
Simon de Givry,
2005
.
Peter Struss,
Martin Sachenbacher,
1997
.
Brian C. Williams,
Martin Sachenbacher,
B. Williams,
2004,
ECAI.
Martin Sachenbacher,
Paul Maier,
2010
.
Brian C. Williams,
Martin Sachenbacher,
Tsoline Mikaelian,
2005
.
Peter Struss,
Martin Sachenbacher,
Claes M. Calén,
2000,
AI Commun..
Martin Sachenbacher,
Paul Maier,
2008
.
Thomas Rühr,
Martin Sachenbacher,
Paul Maier,
2010,
Adv. Eng. Informatics.
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Peter Struss,
Martin Sachenbacher,
Andreas Malik,
1998
.
Martin Leucker,
Martin Sachenbacher,
2009
.
Martin Sachenbacher,
Paul Maier,
2008,
CPAIOR.
Martin Sachenbacher,
Peter Struss''Z,
2003
.
Peter Struss,
Martin Sachenbacher,
Reinhard Weber,
2000
.
Martin Leucker,
René Schönfelder,
Martin Sachenbacher,
2015,
GI-Jahrestagung.
Martin Sachenbacher,
Paul Maier,
2009
.
Martin Sachenbacher,
Paul Maier,
Dominik Jain,
2011,
KI.
Martin Sachenbacher,
2001
.
Jinbo Huang,
Martin Sachenbacher,
Anika Schumann,
2009,
CP.
Peter Struss,
Martin Sachenbacher,
2000
.
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Thomas Rühr,
Martin Sachenbacher,
Paul Maier,
2009,
KI.
Thomas Rühr,
Martin Sachenbacher,
Paul Maier,
2009,
2009 IEEE Conference on Emerging Technologies & Factory Automation.
Thomas Rühr,
Martin Sachenbacher,
Paul Maier,
2009
.
Martin Sachenbacher,
Julian Haselmayr Martin Leucker Andreas Artmeier,
M. Sachenbacher,
2010
.
Peter Struss,
Martin Sachenbacher,
2003,
IJCAI.
Peter Struss,
Martin Sachenbacher,
Andreas Malik,
1996
.
Martin Leucker,
Martin Sachenbacher,
Julian Haselmayr,
2010,
KI.
Michael Karg,
Alexandra Kirsch,
Martin Sachenbacher,
2011
.
Brian C. Williams,
Martin Sachenbacher,
Tsoline Mikaelian,
2005
.
Brian C. Williams,
Martin Sachenbacher,
2006,
CPAIOR.
Peter Struss,
Martin Sachenbacher,
A. Malik,
1998
.
Martin Sachenbacher,
Stefan Schwoon,
2008
.
Peter Struss,
Martin Sachenbacher,
Florian Dummert,
1998
.
Brian C. Williams,
Martin Sachenbacher,
B. Williams,
2004,
CP.
Martin Leucker,
Martin Sachenbacher,
Julian Haselmayr,
2011,
AAAI.
Jinbo Huang,
Martin Sachenbacher,
Anika Schumann,
2010,
AAAI.
Thomas Rühr,
Martin Sachenbacher,
Paul Maier,
2009,
IJCAI 2009.
Andreas Jossen,
Martin Leucker,
Martin Sachenbacher,
2012
.
Peter Struss,
Martin Sachenbacher,
2005,
Artif. Intell..