Silvio Ghilardi

Safety Verification and Universal Invariants for Relational Action Bases

Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management and Database Theory. To make these systems amenable to verification, the amount of information stored in each state needs to be…