Publication Details

Computer Go as a Verification Case Study

KŘENA Bohuslav. Computer Go as a Verification Case Study. In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava, 2006, pp. 95-100. ISBN 80-86840-26-3.

Czech title

Hraní Go počítačem jako verifikační případová studie

Type

conference paper

Language

english

Authors

Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)

Keywords

Formal verification, case study, the game of Go, computer Go.

Abstract

This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper.

Published

2006

Pages

95-100

Proceedings

Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems

Conference

28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006, Vranov (u Brna), CZ

ISBN

80-86840-26-3

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB8163,
   author = "Bohuslav K\v{r}ena",
   title = "Computer Go as a Verification Case Study",
   pages = "95--100",
   booktitle = "Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems",
   year = 2006,
   location = "Ostrava, CZ",
   ISBN = "80-86840-26-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8163"
}