Stefan Edelkamp

Identifiers

Open LibraryOL6938015A

Top Subjects

Computer software, verification (1)
Heuristic algorithms (1)
Computer games (1)

Books by Stefan Edelkamp

Total count: 7

Model Checking and Artificial Intelligence4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Springer London, Limited2007-01-01
Model Checking Software14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Springer London, Limited2007-01-01
Heuristic searchtheory and applications

Morgan Kaufmann2011-01-01
KI 2011 : Advances in Artificial Intelligence34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings

Springer2011-01-01
Proceedings of the Seventh International Symposium on Combinatorial Search (Socs-2014)

AAAI Press2014-01-01
Computer GamesFourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Springer London, Limited2016-01-01
KI 2021 : Advances in Artificial Intelligence44th German Conference on AI, Virtual Event, September 27 - October 1, 2021, Proceedings

Springer International Publishing AG2021-01-01