Detail publikace

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: MARQ, 2006, s. 95-100. ISBN 80-86840-26-3.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

Formální verifikace, případová studie, hra Go, Go programy.

Abstrakt

Článek se snaží odpovědět na otázku, zda hraní hry Go počítačem může být chápáno jako verifikační případová studie. Nejdříve je uvedena oblast formální verifikace a představena hra Go a dosavadní pokusy o její hraní počítačem. Následně jsou porovnány principy a metody používané pro formalní verifikaci s Go programy. Článek uzavírá zhodnocení možných přínosů vývoje Go programů pro zlepšení metod formální verifikace.

Rok
2006
Strany
95-100
Sborník
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
Konference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006, Vranov (u Brna), CZ
ISBN
80-86840-26-3
Vydavatel
MARQ
Místo
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"
}
Nahoru