An Improved Safety Solver in Go Using Partial Regions

DOI10.1007/978-3-540-87608-3_10MaRDI QIDQ3601823zbMATH OpenOpenAlexFDO

Authors

Publication date 12 February 2009

Published in Computers and Games (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87608-3_10

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) 2-person games (91A05) Experimental studies (91A90)

Recommendations

• Computer Aided Verification
• Safety analysis versus type inference for partial types
• Fine-grained complexity of safety verification
• Fine-grained complexity of safety verification
• Stratified operational semantics for safety and correctness of the region calculus
• Safety enforcement via programmable strategies in Maude
• A theoretical limit for safety verification techniques with regular fix-point computations
• Parameterized synthesis with safety properties

Cites work

• A library of eyes in Go. II: Monolithic eyes

Describes a project that uses

Uses Software

• Monolithic Eyes

This page was built for publication: An Improved Safety Solver in Go Using Partial Regions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3601823)