Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Comments Extended version of the conference paper 'Safety Verification and Universal Invariants for Relational Action Bases' by the same authors, accepted at the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)