RI: Formal Verification of Answer Set Programs

Overview

Modern society increasingly depends on software to make important decisions in areas such as logistics, transportation, manufacturing, and scientific research. Ensuring that this software behaves correctly is essential because errors can have significant societal and economic consequences. This project will strengthen…