Sebastian Haufe

	2012
3		Sebastian Haufe, Stephan Schiffel, Michael Thielscher: Automated verification of state sequence invariants in general game playing. Artif. Intell. 187: 1-30 (2012)
	2011
2		Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher: Knowledge-Based General Game Playing. KI 25(1): 25-33 (2011)
	2010
1		Sebastian Haufe, Michael Thielscher: Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence 2010: 1-10

Coauthor Index

1	Daniel Michulke	[2]
2	Stephan Schiffel	[2] [3]
3	Michael Thielscher	[1] [2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page