Detail publikace

Computer Go as a Verification Case Study

KŘENA, B. Computer Go as a Verification Case Study. In Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava: 2006. p. 95-100. ISBN: 80-86840-26-3.
Název česky
Hraní Go počítačem jako verifikační případová studie
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
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
ISBN
80-86840-26-3
Místo
Ostrava
BibTeX 
@inproceedings{BUT22258,
  author="Bohuslav {Křena}",
  title="Computer Go as a Verification Case Study",
  booktitle="Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems",
  year="2006",
  pages="95--100",
  address="Ostrava",
  isbn="80-86840-26-3"
}
Nahoru