All Stories

  1. A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios

    Article • June 2025, ACM (Association for Computing Machinery)

    Christopher Esterhuyse, L. Thomas van Binsbergen

  2. (Re)designing Specification Languages for Incremental Development my Multiple Agents

    Article • October 2024, ACM (Association for Computing Machinery)

    Christopher Esterhuyse