Sebastian Haufe

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Statistically Significant

Automated Verification

Evaluation Function

Computational Models

Top Venues

Frontiers Comput. Neurosci.

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Rodrigo Sigala, Sebastian Haufe, Dipanjan Roy, Hubert R. Dinse, Petra Ritter
The role of alpha-rhythm states in perceptual learning: insights from experiments and computational models. Frontiers Comput. Neurosci. 8 (2014)
Sebastian Haufe, Michael Thielscher
Automated Verification of Epistemic Properties for General Game Playing. KR (2012)
Sebastian Haufe, Stephan Schiffel, Michael Thielscher
Automated verification of state sequence invariants in general game playing. Artif. Intell. 187 (2012)
Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher
Knowledge-Based General Game Playing. Künstliche Intell. 25 (1) (2011)
Sebastian Haufe, Michael Thielscher
Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence (2010)